Search in specific suite: [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 в дистрибуция(и) aramo, всички раздели и всички архитектури. Намерени са 11 пакета.
Точни попадения
Пакет swi-prolog
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Други резултати
Пакет swi-prolog-bdb
- aramo (interpreters):
Berkeley DB interface for SWI-Prolog
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-core
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - core system
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-core-packages
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - core packages
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-doc
- aramo (doc):
documentation and examples for SWI-Prolog
8.4.2+dfsg-2ubuntu1: all
Пакет swi-prolog-full
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - full suit
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-java
- aramo (interpreters):
Bidirectional interface between SWI-Prolog and Java
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-nox
- aramo (interpreters):
ISO/Edinburgh-style Prolog interpreter - without X support
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-odbc
- aramo (interpreters):
ODBC library for SWI-Prolog
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el
Пакет swi-prolog-test
- aramo (interpreters):
tests and checks for SWI-Prolog
8.4.2+dfsg-2ubuntu1: all
Пакет swi-prolog-x
- aramo (interpreters):
User interface library for SWI-Prolog - with X support
8.4.2+dfsg-2ubuntu1: amd64 arm64 armhf ppc64el