Paquet source : swi-prolog (8.0.2+dfsg-3+deb10u1)
Liens pour swi-prolog
Ressources Debian :
Responsable :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- swi-prolog
- interpréteur Prolog du style ISO/Edimbourg
- swi-prolog-bdb
- interface de Berkeley DB pour SWI-Prolog
- swi-prolog-java
- interface bidirectionnelle entre SWI-Prolog et Java 2
- swi-prolog-nox
- interpréteur Prolog de type ISO/Edinburgh (sans gestion de⋅X)
- swi-prolog-odbc
- bibliothèque ODBC pour SWI-Prolog
- swi-prolog-x
- bibliothèque d’interface graphique pour SWI-Prolog – prise en charge d’X
Autres paquets associés à swi-prolog
-
- adep:
cmake
- système make multiplate-forme
-
- adep:
dctrl-tools
- Outils en ligne de commande pour traiter les informations des paquets Debian
-
- adep:
debhelper-compat
(= 12)
- Paquet indisponible
-
- adep:
default-jdk
[alpha amd64 arm64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 sparc64 x32]
- kit de développement Java standard ou compatible
-
- adep:
junit
[alpha amd64 arm64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 sparc64 x32]
- environnement de tests automatisés pour Java
-
- adep:
ncurses-dev
- paquet virtuel fourni par
libncurses-dev
-
- adep:
libarchive-dev
- bibliothèque d'archivage et compression multiformat — fichiers de développement
-
- adep:
libdb-dev
- bibliothèques de base de données Berkeley –⋅développement
-
- adep:
libedit-dev
- Bibliothèques editline et history de BSD (fichiers de développement)
-
- adep:
libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep:
libice-dev
- bibliothèque X11 d'échange entre clients - en-têtes de développement
-
- adep:
libjpeg-dev
- fichiers de développement pour la bibliothèque JPEG –⋅paquet factice
un paquet virtuel est également fourni par
libjpeg62-turbo-dev
-
- adep:
libjs-jquery
- JavaScript library for dynamic web applications
-
- adep:
libossp-uuid-dev
- OSSP uuid ISO-C and C++ - headers and static libraries
-
- adep:
libpcre3-dev
- ancienne bibliothèque d'expressions rationnelles compatibles Perl⋅5 –⋅fichiers de développement
-
- adep:
libreadline-dev
- Bibliothèques GNU readline et GNU history, fichiers de développement
-
- adep:
libssl-dev
- trousse à outils SSL –⋅fichiers de développement
-
- adep:
libunwind-dev
- bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅développement
-
- adep:
libx11-dev
- bibliothèque cliente X11 - en-têtes de développement
-
- adep:
libxext-dev
- bibliothèque d'extensions diverses pour X11 - en-têtes de développement
-
- adep:
libxft-dev
- FreeType-based font drawing library for X (development files)
-
- adep:
libxinerama-dev
- X11 Xinerama extension library (development headers)
-
- adep:
libxpm-dev
- X11 pixmap library (development headers)
-
- adep:
libxt-dev
- boîte à outils X Intrinsics - en-têtes de développement
-
- adep:
libyaml-dev
- bibliothèque rapide d'analyseur et émetteur YAML⋅1.1 –⋅développement
-
- adep:
unixodbc-dev
- bibliothèques ODBC pour Unix − fichiers de développement
-
- adep:
x11proto-core-dev
- paquet factice de transition
un paquet virtuel est également fourni par
x11proto-dev
-
- adep:
zlib1g-dev
- bibliothèque de compression — paquet de développement