Linux repositories inspector

swi-prolog-nox - 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.
Original maintainer
Homepagehttp://www.swi-prolog.org
8.0.2
Debian iconDebian 10.0
7.6.4
Ubuntu iconUbuntu 18.04 LTS
Ubuntu iconUbuntu 18.10
Ubuntu iconUbuntu 19.04
Ubuntu iconUbuntu 19.10
Ubuntu iconUbuntu 20.04
7.4.2
Ubuntu iconUbuntu 17.10
7.2.3
Debian iconDebian 9.0
Ubuntu iconUbuntu 16.04 LTS
DistributionVersionSincePackageInstalledPackager
Debian iconDebian 10.0 buster/maindeb8.0.2+dfsg-3+deb10u12019-11-163.54 MiB18.3 MiB
Debian iconDebian 9.0 stretch/maindeb7.2.3+dfsg-62017-11-102.88 MiB16.6 MiB
Ubuntu iconUbuntu 17.10 artful/universedeb7.4.2+dfsg-22017-11-103.13 MiB18.5 MiB
Ubuntu iconUbuntu 18.04 LTS bionic/universedeb7.6.4+dfsg-1build12018-02-083.2 MiB18.9 MiB
Ubuntu iconUbuntu 18.10 cosmic/universedeb7.6.4+dfsg-2build12019-01-143.19 MiB19.1 MiB
Ubuntu iconUbuntu 19.04 disco/universedeb7.6.4+dfsg-2ubuntu12019-01-273.19 MiB19.1 MiB
Ubuntu iconUbuntu 19.10 eoan/universedeb7.6.4+dfsg-2ubuntu22019-09-053.2 MiB19.2 MiB
Ubuntu iconUbuntu 20.04 focal/universedeb7.6.4+dfsg-2ubuntu22020-01-073.2 MiB19.2 MiB
Ubuntu iconUbuntu 16.04 LTS xenial/universedeb7.2.3-22017-11-102.91 MiB16.6 MiB

Manual pages

dh_swi_prolog(1)

dh_swi_prolog - calculates SWI Prolog packages dependencies

swipl(1)

swipl - SWI-Prolog 8.0.3

swipl-ld(1)

swipl-ld - Create a SWI-Prolog embedded executable

swipl-rc(1)

swipl-rc - SWI-Prolog resource archiver

Latest updates

Ubuntu icon

Ubuntu 20.04 focal/universe: Version 7.6.4+dfsg-2ubuntu2 introduced

2020-01-07
Debian icon

Debian 10.0 buster-proposed-updates/main: Version 8.0.2+dfsg-3+deb10u1 removed

2019-11-16
Debian icon

Debian 10.0 buster/main: Updated from 8.0.2+dfsg-3 to 8.0.2+dfsg-3+deb10u1

2019-11-16
  • Add patch to fix pack-server. SWI-Prolog upstream servers were switched from http to https, so pack_install stopped working. This patch changes pack_install to use https. (Closes: #939257)
Debian icon

Debian 10.0 buster-proposed-updates/main: Version 8.0.2+dfsg-3+deb10u1 introduced

2019-10-14
  • Add patch to fix pack-server. SWI-Prolog upstream servers were switched from http to https, so pack_install stopped working. This patch changes pack_install to use https. (Closes: #939257)
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-10-10
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-10-10
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-10-10
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-10-10
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 reintroduced

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 7.6.4+dfsg-2ubuntu2 removed

2019-09-06

Related packages

swi-prolog - ISO/Edinburgh-style Prolog interpreter
nox - Flexible test automation
⇧ Top