swipl-ld

SWI-Prolog - Edinburgh compatible Prolog compiler

Install

All systems
curl cmd.cat/swipl-ld.sh
Debian Debian
apt-get install swi-prolog-nox
Ubuntu
apt-get install swi-prolog-nox
Arch Arch Linux
pacman -S swi-prolog
image/svg+xml Kali Linux
apt-get install swi-prolog-nox
CentOS
yum install pl
Fedora
dnf install pl
Windows (WSL2)
sudo apt-get update sudo apt-get install swi-prolog-nox
OS X
brew install swi-prolog
Raspbian
apt-get install swi-prolog-nox
Dockerfile
dockerfile.run/swipl-ld

pl

SWI-Prolog - Edinburgh compatible Prolog compiler

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.

swi-prolog

ISO/Edinburgh-style Prolog interpreter

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 is a metapackage, it installs full SWI-Prolog suit (except ODBC and Berkeley DB support).