软件包：swi-prolog（8.1.28+dfsg-1） [debports]
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).
其他与 swi-prolog 有关的软件包
|
|
|
|
-
- dep: swi-prolog-nox (= 8.1.28+dfsg-1)
- ISO/Edinburgh-style Prolog interpreter - without X support
-
- dep: swi-prolog-x (= 8.1.28+dfsg-1)
- User interface library for SWI-Prolog - with X support