软件包：swi-prolog-nox（7.6.4+dfsg-2） [debports]
ISO/Edinburgh-style Prolog interpreter (without X support)
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 package contains a working SWI-Prolog installation with GUI components.
其他与 swi-prolog-nox 有关的软件包
|
|
|
|
-
- dep: libarchive13 (>= 3.1.2)
- Multi-format archive and compression library (shared library)
-
- dep: libc6 (>= 2.23)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- dep: libedit-dev
- BSD editline and history libraries (development files)
-
- dep: libedit2 (>= 3.1-20140620)
- BSD 行编辑和历史记录库
-
- dep: libgmp-dev
- Multiprecision arithmetic library developers tools
-
- dep: libgmp10
- 多精度运算库
-
- dep: libjs-jquery
- JavaScript library for dynamic web applications
-
- dep: libncursesw5-dev
- 软件包暂时不可用
-
- dep: libncursesw6 (>= 6)
- 终端处理的共享库 (宽字符支持)
-
- dep: libossp-uuid16
- OSSP uuid ISO-C and C++ - shared library
-
- dep: libpcre3
- 与旧版 Perl 5 兼容的正则表达式库 - 运行文件
-
- dep: libreadline-dev
- GNU readline 与 history 库，开发文件
-
- dep: libreadline7 (>= 6.0)
- 软件包暂时不可用
-
- dep: libssl1.1 (>= 1.1.0)
- 软件包暂时不可用
-
- dep: libtinfo6 (>= 6)
- 用于终端处理的共享底层 terminfo 库
-
- dep: zlib1g (>= 1:1.2.2)
- 压缩库 - 运行时
-
- rec: debhelper
- 用于 debian/rules 的帮助程序
-
- sug: elpa-ediprolog
- Emacs Does Interactive Prolog