[ Paquet source : swi-prolog ]
Paquet : swi-prolog-core (9.0.4+dfsg-2)
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-2.dsc]
- [swi-prolog_9.0.4+dfsg.orig.tar.gz]
- [swi-prolog_9.0.4+dfsg-2.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, mipsel]
- 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.2.1+dfsg1)
- Bibliothèque arithmétique à multi-précision
-
- dep: libtcmalloc-minimal4 (>= 2.10)
- 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-2)
- interface de Berkeley DB pour SWI-Prolog
-
- sug: swi-prolog-core-packages (= 9.0.4+dfsg-2)
- 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-2)
- interface bidirectionnelle entre SWI-Prolog et Java
-
- sug: swi-prolog-odbc (= 9.0.4+dfsg-2)
- bibliothèque ODBC pour SWI-Prolog
Télécharger swi-prolog-core
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 1 413,6 ko | 5 511,0 ko | [liste des fichiers] |
| arm64 | 1 343,3 ko | 5 598,0 ko | [liste des fichiers] |
| armel | 1 310,7 ko | 5 263,0 ko | [liste des fichiers] |
| armhf | 1 321,8 ko | 4 887,0 ko | [liste des fichiers] |
| i386 | 1 473,8 ko | 5 607,0 ko | [liste des fichiers] |
| mips64el | 1 328,1 ko | 5 851,0 ko | [liste des fichiers] |
| mipsel | 1 346,8 ko | 5 710,0 ko | [liste des fichiers] |
| ppc64el | 1 409,9 ko | 5 982,0 ko | [liste des fichiers] |
| s390x | 1 351,4 ko | 5 642,0 ko | [liste des fichiers] |