[ Paquet source : swi-prolog ]
Paquet : swi-prolog-core (9.0.4+dfsg-4)
Liens pour swi-prolog-core
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source swi-prolog :
- [swi-prolog_9.0.4+dfsg-4.dsc]
- [swi-prolog_9.0.4+dfsg.orig.tar.gz]
- [swi-prolog_9.0.4+dfsg-4.debian.tar.xz]
Responsable :
Ressources externes :
- Page d'accueil [www.swi-prolog.org]
Paquets similaires :
interpréteur Prolog du style ISO/Edimbourg – système de base
SWI-Prolog est un compilateur Prolog du style ISO/Edimbourg rapide et puissant, qui possède un large panel de prédicats. Il offre un environnement rapide, robuste et léger qui permet de développer des applications complexes.
SWI-Prolog offre en plus :
– un système de module puissant ; – un ramasse-miette ; – la gestion des caractères Unicode ; – une arithmétique des nombres rationnels et des entiers ; – la gestion de processus légers multiples ; – une interface C/C++ puissante ; – une interface GNU Readline.
Ce paquet fournit un système de base fonctionnel SWI-Prolog.
Autres paquets associés à swi-prolog-core
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, riscv64]
- bibliothèque de prise en charge fournissant des fonctions internes __atomic
-
- dep: libc6 (>= 2.34)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- bibliothèque de prise en charge de GCC
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliothèque arithmétique à multi-précision
-
- dep: libtcmalloc-minimal4t64 (>= 2.15)
- efficient thread-caching malloc
-
- dep: libtinfo6 (>= 6)
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
-
- dep: zlib1g (>= 1:1.1.4)
- Bibliothèque de compression - binaires
-
- rec: debhelper
- programmes assistants pour debian/rules
-
- sug: elpa-ediprolog
- Emacs Does Interactive Prolog
-
- sug: swi-prolog-bdb (= 9.0.4+dfsg-4)
- interface de Berkeley DB pour SWI-Prolog
-
- sug: swi-prolog-core-packages (= 9.0.4+dfsg-4)
- ISO/Edinburgh-style Prolog interpreter - core packages
-
- sug: swi-prolog-doc
- documentation et exemples pour SWI-Prolog
-
- sug: swi-prolog-java (= 9.0.4+dfsg-4)
- interface bidirectionnelle entre SWI-Prolog et Java
-
- sug: swi-prolog-odbc (= 9.0.4+dfsg-4)
- bibliothèque ODBC pour SWI-Prolog
Télécharger swi-prolog-core
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 1 410,7 ko | 5 512,0 ko | [liste des fichiers] |
| arm64 | 1 343,6 ko | 5 663,0 ko | [liste des fichiers] |
| armel | 1 312,7 ko | 5 292,0 ko | [liste des fichiers] |
| armhf | 1 324,2 ko | 4 920,0 ko | [liste des fichiers] |
| i386 | 1 470,4 ko | 5 596,0 ko | [liste des fichiers] |
| mips64el | 1 324,3 ko | 5 852,0 ko | [liste des fichiers] |
| ppc64el | 1 407,2 ko | 5 919,0 ko | [liste des fichiers] |
| riscv64 | 1 404,7 ko | 5 251,0 ko | [liste des fichiers] |
| s390x | 1 390,1 ko | 5 635,0 ko | [liste des fichiers] |