系統:ubuntu22.04
安裝URL
https://wwu-pi.github.io/tutorials/lectures/lsp/010_install_swi_prolog.html
Add the ppa ppa:swi-prolog/stable to your system’s software sources:
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
Install SWI-Prolog through the package manager:
Open a terminal (Ctrl+Alt+T) and type:
sudo apt-get install swi-prolog