Paquet : swi-prolog-core (9.2.8+dfsg-1)

[ 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)

  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: 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.8+dfsg-1)

  interface de Berkeley DB pour SWI-Prolog

• sug: swi-prolog-core-packages (= 9.2.8+dfsg-1)

  ISO/Edinburgh-style Prolog interpreter - core packages

• sug: swi-prolog-doc

  documentation et exemples pour SWI-Prolog

• sug: swi-prolog-java (= 9.2.8+dfsg-1)

  interface bidirectionnelle entre SWI-Prolog et Java

• sug: swi-prolog-odbc (= 9.2.8+dfsg-1)

  bibliothèque ODBC pour SWI-Prolog

Télécharger swi-prolog-core

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
riscv64	1 472,1 ko	5 522,0 ko	[liste des fichiers]