Paquet : swi-prolog-core (9.2.9+dfsg-1 et autres)

[ Paquet source : swi-prolog  ]

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.16)

  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.2.9+dfsg-1) [non amd64]

  interface de Berkeley DB pour SWI-Prolog

  sug: swi-prolog-bdb (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-core-packages (= 9.2.9+dfsg-1) [non amd64]

  ISO/Edinburgh-style Prolog interpreter - core packages

  sug: swi-prolog-core-packages (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-doc

  documentation et exemples pour SWI-Prolog

• sug: swi-prolog-java (= 9.2.9+dfsg-1) [non amd64]

  interface bidirectionnelle entre SWI-Prolog et Java

  sug: swi-prolog-java (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-odbc (= 9.2.9+dfsg-1) [non amd64]

  bibliothèque ODBC pour SWI-Prolog

  sug: swi-prolog-odbc (= 9.2.9+dfsg-1+b1) [amd64]

Télécharger swi-prolog-core

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	9.2.9+dfsg-1+b1	1 482,2 ko	5 810,0 ko	[liste des fichiers]
arm64	9.2.9+dfsg-1	1 411,3 ko	5 960,0 ko	[liste des fichiers]
armel	9.2.9+dfsg-1	1 382,4 ko	5 697,0 ko	[liste des fichiers]
armhf	9.2.9+dfsg-1	1 394,6 ko	5 313,0 ko	[liste des fichiers]
i386	9.2.9+dfsg-1	1 541,2 ko	5 897,0 ko	[liste des fichiers]
mips64el	9.2.9+dfsg-1	1 395,0 ko	6 151,0 ko	[liste des fichiers]
ppc64el	9.2.9+dfsg-1	1 477,5 ko	6 280,0 ko	[liste des fichiers]
riscv64	9.2.9+dfsg-1	1 473,4 ko	5 528,0 ko	[liste des fichiers]
s390x	9.2.9+dfsg-1	1 461,1 ko	5 940,0 ko	[liste des fichiers]