I tried to install the SWI-Prolog RPM from here http://www.swi-prolog.org/dl-stable.html using alien to convert to a deb
However, I am having troubles running it.
I cant find it in the menus and when I type 'pl' in a terminal I getDoes anyone here use Prolog?pl: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
Anyone managed to install it?
Anyone fancy trying to install it on their system from the SWI site to help me out?
Bookmarks