パッケージ: swi-prolog-core (9.2.9+dfsg-1 など)

[ ソース: swi-prolog  ]

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, riscv64]

  __atomic ビルトイン関数を提供するサポートライブラリ

• dep: libc6 (>= 2.34)

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libgcc-s1 (>= 3.5) [armel, armhf]

  GCC 共有ライブラリ

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  多倍長精度演算ライブラリ

• dep: libtcmalloc-minimal4t64 (>= 2.16)

  efficient thread-caching malloc

• dep: libtinfo6 (>= 6)

  端末を扱う低レベルの terminfo 共有ライブラリ

• dep: zlib1g (>= 1:1.1.4)

  圧縮ライブラリ - ランタイム

• rec: debhelper

  helper programs for debian/rules

• sug: elpa-ediprolog

  Emacs Does Interactive Prolog

• sug: swi-prolog-bdb (= 9.2.9+dfsg-1) [amd64 以外]

  Berkeley DB interface for SWI-Prolog

  sug: swi-prolog-bdb (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-core-packages (= 9.2.9+dfsg-1) [amd64 以外]

  ISO/Edinburgh-style Prolog interpreter - core packages

  sug: swi-prolog-core-packages (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-doc

  documentation and examples for SWI-Prolog

• sug: swi-prolog-java (= 9.2.9+dfsg-1) [amd64 以外]

  Bidirectional interface between SWI-Prolog and Java

  sug: swi-prolog-java (= 9.2.9+dfsg-1+b1) [amd64]

• sug: swi-prolog-odbc (= 9.2.9+dfsg-1) [amd64 以外]

  ODBC library for SWI-Prolog

  sug: swi-prolog-odbc (= 9.2.9+dfsg-1+b1) [amd64]

swi-prolog-core のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	9.2.9+dfsg-1+b1	1,482.2 kB	5,810.0 kB	[ファイル一覧]
arm64	9.2.9+dfsg-1	1,411.3 kB	5,960.0 kB	[ファイル一覧]
armel	9.2.9+dfsg-1	1,382.4 kB	5,697.0 kB	[ファイル一覧]
armhf	9.2.9+dfsg-1	1,394.6 kB	5,313.0 kB	[ファイル一覧]
i386	9.2.9+dfsg-1	1,541.2 kB	5,897.0 kB	[ファイル一覧]
mips64el	9.2.9+dfsg-1	1,395.0 kB	6,151.0 kB	[ファイル一覧]
ppc64el	9.2.9+dfsg-1	1,477.5 kB	6,280.0 kB	[ファイル一覧]
riscv64	9.2.9+dfsg-1	1,473.4 kB	5,528.0 kB	[ファイル一覧]
s390x	9.2.9+dfsg-1	1,461.1 kB	5,940.0 kB	[ファイル一覧]