SWI-Prolog
Windows and Mac:
Linux (PPA):
Add the PPA ppa:swi-prolog/stable
to your system’s software sources (developers may choose for ppa:swi-prolog/devel
) :
Open a terminal (Ctrl+Alt+T) and type:
sudo add-apt-repository ppa:swi-prolog/stable
Afterwards, update the package information:
sudo apt-get update
Now install SWI-Prolog through the package manager:
sudo apt-get install swi-prolog
You can now start SWI-Prolog through the command-line with command swipl