套件：swi-prolog-core（8.2.4+dfsg-1）

swi-prolog-core 的相關連結

Debian 的資源：

下載原始碼套件 swi-prolog：

維護者：

Lev Lamberov (QA 頁面)

外部的資源：

主頁 [www.swi-prolog.org]

相似套件：

ISO/Edinburgh-style Prolog interpreter - core system

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 core system.

其他與 swi-prolog-core 有關的套件

依賴

推薦

建議

增強

dep: libatomic1 (>= 4.8) [armel, mipsel]

support library providing __atomic built-in functions
dep: libc6 (>= 2.29)

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libgmp10

Multiprecision arithmetic library
dep: libtcmalloc-minimal4

efficient thread-caching malloc
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling
dep: zlib1g (>= 1:1.1.4)

壓縮函式庫 - 跑程式時用(runtime)

rec: debhelper

helper programs for debian/rules

sug: elpa-ediprolog

Emacs Does Interactive Prolog
sug: swi-prolog-bdb (= 8.2.4+dfsg-1)

Berkeley DB interface for SWI-Prolog
sug: swi-prolog-core-packages (= 8.2.4+dfsg-1)

ISO/Edinburgh-style Prolog interpreter - core packages
sug: swi-prolog-doc

documentation and examples for SWI-Prolog
sug: swi-prolog-java (= 8.2.4+dfsg-1)

Bidirectional interface between SWI-Prolog and Java
sug: swi-prolog-odbc (= 8.2.4+dfsg-1)

ODBC library for SWI-Prolog

下載 swi-prolog-core

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
amd64	1，324。9 kB	5，149。0 kB	[檔案列表]
arm64	1，278。8 kB	5，129。0 kB	[檔案列表]
armel	1，224。8 kB	4，854。0 kB	[檔案列表]
armhf	1，238。3 kB	4，478。0 kB	[檔案列表]
i386	1，382。3 kB	5，242。0 kB	[檔案列表]
mips64el	1，256。8 kB	5，325。0 kB	[檔案列表]
mipsel	1，271。2 kB	5，197。0 kB	[檔案列表]
ppc64el	1，360。6 kB	5，673。0 kB	[檔案列表]
s390x	1，267。4 kB	5，217。0 kB	[檔案列表]