特定のスイートに絞って検索: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
すべてのアーキテクチャで検索
検索パラメータの設定によって、一部の結果が非表示になっています。
swi-prolog を名前に含むパッケージを、すべてのスイート、すべてのセクション、armhf アーキテクチャで検索しました。 11 個の一致するパッケージが見つかりました。
完全なヒット
swi-prolog パッケージ
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter
8.4.2+dfsg-2ubuntu1: armhf - nabia (interpreters):
ISO/Edinburgh-style Prolog interpreter
7.6.4+dfsg-2ubuntu2: armhf
その他のヒット
swi-prolog-bdb パッケージ
- aramo (interpreters):
Berkeley DB interface for SWI-Prolog
8.4.2+dfsg-2ubuntu1: armhf - nabia (interpreters):
Berkeley DB interface for SWI-Prolog
7.6.4+dfsg-2ubuntu2: armhf
swi-prolog-core パッケージ
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - core system
8.4.2+dfsg-2ubuntu1: armhf
swi-prolog-core-packages パッケージ
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - core packages
8.4.2+dfsg-2ubuntu1: armhf
swi-prolog-doc パッケージ
- aramo (doc):
documentation and examples for SWI-Prolog
8.4.2+dfsg-2ubuntu1: all - etiona (doc):
Documentation for SWI-Prolog interpreter and XPCE
5.6.59-2: all
swi-prolog-full パッケージ
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - full suit
8.4.2+dfsg-2ubuntu1: armhf
swi-prolog-java パッケージ
- aramo (interpreters):
Bidirectional interface between SWI-Prolog and Java
8.4.2+dfsg-2ubuntu1: armhf
swi-prolog-nox パッケージ
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - without X support
8.4.2+dfsg-2ubuntu1: armhf - nabia (interpreters):
ISO/Edinburgh-style Prolog interpreter (without X support)
7.6.4+dfsg-2ubuntu2: armhf
swi-prolog-odbc パッケージ
- aramo (interpreters):
ODBC library for SWI-Prolog
8.4.2+dfsg-2ubuntu1: armhf - nabia (interpreters):
ODBC library for SWI-Prolog
7.6.4+dfsg-2ubuntu2: armhf
swi-prolog-test パッケージ
- aramo (interpreters):
tests and checks for SWI-Prolog
8.4.2+dfsg-2ubuntu1: all