swipl-rc
SWI-Prolog - Edinburgh compatible Prolog compiler
Install
- All systems
-
curl cmd.cat/swipl-rc.sh
- Debian
-
apt-get install swi-prolog-nox
- Ubuntu
-
apt-get install swi-prolog-nox
- Arch Linux
-
pacman -S swi-prolog
- 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-rc
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).