sudo apt-get install software-properties-common sudo apt install swi-prolog-nox http://www.swi-prolog.org/build/PPA.html