I recently switched from Windows 10 to Linux. I am trying to install Prolog and I followed the installation instructions on https://www.swi-prolog.org/build/PPA.html. I had no errors during the commands apt-add repository
, apt-get update
and apt-get install swi-prolog
.
I expected just to see Prolog in my applications, but isn't listed and can't be found via the search. I'm very confused because I don't know where to look. In Windows I could look in my Program Files directory or in the installed software display. Do I have to find and start it via the Terminal? Isn't the installation finished? Please help.
From the website manual, it says to type "swipl" into the terminal (without quotes).
https://www.swi-prolog.org/pldoc/man?section=quickstart
Hope it helps.