Running prolog on a mac

Question

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.

Also, have you tried adding `/Applications/SWI-Prolog.app/Contents/MacOs` to your `PATH`? I believe this is what I have done, since the swipl executable is located therein. — Shon, Feb 06 '14 at 09:07

score 87 · Answer 1 · edited May 19 '16 at 05:13

87

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.

edited May 19 '16 at 05:13

Andreas Dolk

113,398
19
180
268

answered May 28 '14 at 06:13

Simon Hartcher

3,400
3
30
34

10

Also, I first needed to `brew tap homebrew/x11`. – Tomas Mikula Apr 22 '15 at 16:43
3

I've removed the 'brew tap' command because it's not necessary anymore, homebrew changed the location of the formula. – Andreas Dolk May 19 '16 at 05:14
I get **Error: No available formula for swi-prolog**. Even after first running `brew tap homebrew/x11` – claude computing Sep 08 '16 at 01:33
1

I want the older version of swi-prolog, what should I do? – any Apr 12 '17 at 07:35

score 14 · Answer 2 · answered Feb 06 '14 at 11:20

There are three sensible ways of installing SWI-Prolog on MacOS X, in increasing order of complexity:

Download the SWI-Prolog application. In this case, you just download a disk image, open it, and drag the application to your disk (e.g. to your Applications folder. You use the application as any other application by double-clicking on its icon. If you want to also use the binary inside the application bundle, add the Contents/MacOS directory inside it to your system path (for example, assuming that you copied the SWI-Prolog application to your applications folder, do export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH in your shell configuration file).
Using MacPorts. Assuming it's installed and up-to-date, simply type either sudo port install swi-prolog for the stable version or sudo port install swi-prolog-devel for the development version. Replace sudo port install by sudo port -u upgrade when upgrading the installed version. It you're already using MacPorts, then /opt/local/bin should already be in your system path. Type echo $PATH in a Terminal window to check.
Compiling from sources. In this case, download the source archive, uncompress it, and follow the instructions in the README.MacOSX file.

I did the first option, and I get a window where I can put in prolog commands, with the familiar ?-. So that's good, but I'm having a hard time loading a pl file. Usually you can do [fileName]. but this doesn't work, I'm guessing because it doesn't know where to look for this file. Any idea how I fix that? — The Oddler, Oct 09 '14 at 10:57
Call the predicate `pwd/0`to check the current directory. You can always change it by calling the `cd/1` predicate. Or give a relative or absolute file path when consulting a file. — Paulo Moura, Oct 09 '14 at 11:20

score 6 · Answer 3 · answered Nov 02 '15 at 23:22

6

The OSX EI Captian has this command for swi-prolog installation

brew install homebrew/x11/swi-prolog

answered Nov 02 '15 at 23:22

Mounika Kakarla

124
1
3

Because of some changes on homebrews side, this doesn't work anymore. See my answer. – Andreas Dolk May 19 '16 at 05:12

score 5 · Answer 4 · answered May 19 '16 at 05:11

Homebrew has moved swi-prolog to the top a few days ago and because of this, the other answers are not valid anymore. The reason for that: the swi-prolog formula was located in the x11 bottle but the x11 dependency is only optional.

As of today, to install swi-prolog with homebrew, simply do:

brew install swi-prolog

If you've installed it from the x11 bottle before, consider to uninstall an reinstall from the new location. Otherwise you might run into errors when updating/upgrading.

I used this command, It downloaded and I get the Welcome prompt but how do I create files? — Nameishi, Nov 02 '17 at 17:30

score 5 · Answer 5 · answered Nov 23 '17 at 17:50

If you download the SWI-Prolog application into your /Applications folder, then add this to your .bash_profile:

export PATH="/Applications/SWI-Prolog.app/Contents/MacOS:$PATH"

The swipl binary lives in that MacOS directory. (Don't forget to source ~/.bash_profile after)

score 1 · Answer 6 · answered Jun 20 '19 at 05:41

1

There's now a handy docker image.

answered Jun 20 '19 at 05:41

bhurlow

2,019
2
16
14

Running prolog on a mac

6 Answers6