Skip to content
Sections
>> Trisquel >> Paquets >> nabia >> interpreters >> swi-prolog
etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : swi-prolog  ]

Paquet : swi-prolog (7.6.4+dfsg-2ubuntu2)

ISO/Edinburgh-style Prolog interpreter

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.

SWI-Prolog additionally offers:

 * A powerful module system
 * Garbage collection
 * Unicode character set handling
 * Unbounted integer and rational number arithmetic
 * Multithreading support
 * A powerful C/C++ interface
 * GNU Readline interface

This is a metapackage, it installs full SWI-Prolog suit (except ODBC and Berkeley DB support).

Autres paquets associés à swi-prolog

  • dépendances
  • recommandations
  • suggestions
  • dep: swi-prolog-nox (= 7.6.4+dfsg-2ubuntu2)
    ISO/Edinburgh-style Prolog interpreter (without X support)
  • dep: swi-prolog-x (= 7.6.4+dfsg-2ubuntu2)
    User interface library for SWI-Prolog (with X support)

Télécharger swi-prolog

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 15,0 ko73 ko [liste des fichiers]
armhf 15,0 ko73 ko [liste des fichiers]