[ Paquet source : swi-prolog ]
Paquet : swi-prolog-core (8.2.4+dfsg-1)
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_8.2.4+dfsg-1.dsc]
- [swi-prolog_8.2.4+dfsg.orig.tar.gz]
- [swi-prolog_8.2.4+dfsg-1.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.29)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgmp10
- Bibliothèque arithmétique à multi-précision
-
- dep: libtcmalloc-minimal4
- 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 (= 8.2.4+dfsg-1)
- interface de Berkeley DB pour SWI-Prolog
-
- sug: swi-prolog-core-packages (= 8.2.4+dfsg-1)
- ISO/Edinburgh-style Prolog interpreter - core packages
-
- sug: swi-prolog-doc
- documentation et exemples pour SWI-Prolog
-
- sug: swi-prolog-java (= 8.2.4+dfsg-1)
- interface bidirectionnelle entre SWI-Prolog et Java
-
- sug: swi-prolog-odbc (= 8.2.4+dfsg-1)
- bibliothèque ODBC pour SWI-Prolog
Télécharger swi-prolog-core
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 1 324,9 ko | 5 149,0 ko | [liste des fichiers] |
| arm64 | 1 278,8 ko | 5 129,0 ko | [liste des fichiers] |
| armel | 1 224,8 ko | 4 854,0 ko | [liste des fichiers] |
| armhf | 1 238,3 ko | 4 478,0 ko | [liste des fichiers] |
| i386 | 1 382,3 ko | 5 242,0 ko | [liste des fichiers] |
| mips64el | 1 256,8 ko | 5 325,0 ko | [liste des fichiers] |
| mipsel | 1 271,2 ko | 5 197,0 ko | [liste des fichiers] |
| ppc64el | 1 360,6 ko | 5 673,0 ko | [liste des fichiers] |
| s390x | 1 267,4 ko | 5 217,0 ko | [liste des fichiers] |