Skip to content
Sections
>> Trisquel >> Packages >> aramo >> interpreters >> swi-prolog
[  etiona  ] [  nabia  ] [  aramo  ]
[ Source: swi-prolog  ]

Package: swi-prolog (8.4.2+dfsg-2ubuntu1)

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 SWI-Prolog suit (except Java, ODBC, Berkeley DB support and tests).

Other Packages Related to swi-prolog

  • depends
  • recommends
  • suggests
  • dep: swi-prolog-doc (<< 8.4.2+dfsg-2ubuntu1.1~)
    documentation and examples for SWI-Prolog
    dep: swi-prolog-doc (>= 8.4.2+dfsg-2ubuntu1)
  • dep: swi-prolog-nox (= 8.4.2+dfsg-2ubuntu1)
    ISO/Edinburgh-style Prolog interpreter - without X support
  • dep: swi-prolog-x (= 8.4.2+dfsg-2ubuntu1)
    User interface library for SWI-Prolog - with X support

Download swi-prolog

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 8.9 kB54 kB [list of files]
arm64 8.9 kB54 kB [list of files]
armhf 8.9 kB54 kB [list of files]
ppc64el 8.9 kB54 kB [list of files]