[ 源代码： swi-prolog ]
软件包：swi-prolog-nox（7.2.3+dfsg-6）
swi-prolog-nox 的相关链接
Debian 的资源：
下载源码包 swi-prolog：
- [swi-prolog_7.2.3+dfsg-6.dsc]
- [swi-prolog_7.2.3+dfsg.orig.tar.gz]
- [swi-prolog_7.2.3+dfsg-6.debian.tar.xz]
维护者：
外部的资源：
- 主页 [www.swi-prolog.org]
相似软件包：
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: libgmp-dev
- Multiprecision arithmetic library developers tools
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libjs-jquery
- JavaScript library for dynamic web applications
-
- dep: libncursesw5 (>= 6)
- 终端处理的共享库 (宽字符支持)
-
- dep: libncursesw5-dev
- developer's libraries for ncursesw
-
- dep: libossp-uuid16
- OSSP uuid ISO-C and C++ - shared library
-
- dep: libreadline-dev
- GNU readline 与 history 库，开发文件
-
- dep: libreadline7 (>= 6.0)
- GNU readline 与 history 库，运行时
-
- dep: libssl1.0.2 (>= 1.0.2d)
- 安全套接字层工具箱 - 共享库
-
- dep: libtinfo5 (>= 6)
- 用于终端处理的共享底层 terminfo 库
-
- dep: zlib1g (>= 1:1.2.2)
- 压缩库 - 运行时
-
- rec: debhelper
- helper programs for debian/rules