Running prolog on a mac

macos installation osx-mavericks swi-prolog
user3278629 picture user3278629 · Feb 6, 2014 · Viewed 59.4k times · Source

I am having the hardest trouble trying to run SWI-prolog on my Mac.

When I type:

/opt/bin/local/swipl

I get an error saying:

/opt/local/bin/swipl: No such file or directory

When I just type "swipl" I get: 

swipl: command not found

I've tried this on both terminal and XQuartz. I've even gone into

/Applications/SWI-Prolog.app/Contents/MacOS

to see if that would do anything, however the prolog "Welcome" text never appears. Quite possibly the closest I ever got it to work was when I typed "pl" when inside the MacOS folder. However I was left with my terminal doing nothing and had to use Crtl-D.

Is there something I'm doing wrong? Did I install something incorrectly?

I'm running on a Mac OS X 10.9.1 Mavericks. I placed the SWI-Prolog application into my application folder and I also downloaded XQuartz per recommendation by the website.

Answer

Simon Hartcher picture Simon Hartcher · May 28, 2014

If you have Homebrew installed, you can simply run

brew install swi-prolog

from Terminal, which will build it from source in one command.

You can then run the interpreter using swipl.

Related questions

pip installation /usr/local/opt/python/bin/python2.7: bad interpreter: No such file or directory

I don't know what's the deal but I am stuck following some stackoverflow solutions which gets nowhere. Can you please help me on this? Monas-MacBook-Pro:CS764 mona$ sudo python get-pip.py The directory '/Users/mona/Library/Caches/pip/http' …

Read More
Mavericks - Trying to install XQuartz X11 for Inkscape, "image not found"

So I'm trying to install Inkscape onto my Mac, which is running on Mavericks. Upon trying to open, i'm told that I need to install X11 and am forwarded to this site http://xquartz.macosforge.org/trac/wiki/X112.7.5. Downloaded …

Read More
How do I install pip on macOS or OS X?

I spent most of the day yesterday searching for a clear answer for installing pip (package manager for Python). I can't find a good solution. How do I install it?

Read More