SWI-Prolog

Free implementation of the Prolog logic-programming language.

SWI-Prolog is the most widely used open-source Prolog implementation, with a strong development environment, web stack, and constraint-programming libraries. It runs on every major Linux distribution.

License: BSD-2-Clause

Category: Language

Website: https://www.swi-prolog.org/

Install

Debian/Ubuntu: sudo apt install swi-prolog
Fedora:        sudo dnf install pl
Arch:          sudo pacman -S swi-prolog

PreviousSway NextSymPy