在mac上运行prolog

Question

我在Mac上运行SWI-prolog时遇到了最大的困难.

当我输入:

/opt/bin/local/swipl

我收到一个错误说:

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

当我输入"swipl"时,我得到:

swipl: command not found

我在终端和XQuartz都尝试过这个.我甚至进过了

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

看看是否会做任何事情,但是prolog"欢迎"文本永远不会出现.很可能我最接近它的工作是当我在MacOS文件夹中输入"pl"时.然而,我的终端什么也没做,我不得不使用Crtl-D.

有什么我做错了吗？我安装错误了吗？

我正在使用Mac OS X 10.9.1 Mavericks.我将SWI-Prolog应用程序放入我的应用程序文件夹中,我还根据网站的推荐下载了XQuartz.

Answer 1

如果您安装了Homebrew,则可以直接运行

brew install swi-prolog

来自终端,它将在一个命令中从源构建它.

然后,您可以使用运行解释器swipl.

Answer 2

在MacOS X上安装SWI-Prolog有三种合理的方法,其复杂程度不断增加:

1. 下载SWI-Prolog应用程序.在这种情况下,您只需下载磁盘映像,打开它,然后将应用程序拖到磁盘上(例如,拖到您的Applications文件夹.通过双击其图标,您可以将该应用程序用作任何其他应用程序.如果您还想使用应用程序包中的二进制文件,将其中的Contents/MacOS目录添加到系统路径中(例如,假设您将SWI-Prolog应用程序复制到您的应用程序文件夹,请export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH在您的shell配置文件中执行).

2. 使用MacPorts.假设它已安装并且是最新的,只需键入sudo port install swi-prolog稳定版本或sudo port install swi-prolog-devel开发版本即可.升级已安装的版本时替换sudo port install为sudo port -u upgrade.您已经在使用MacPorts,那么它/opt/local/bin应该已经在您的系统路径中.键入echo $PATH在Terminal窗口中检查一下.

3. 从来源编译.在这种情况下,请下载源存档,解压缩它,然后按照README.MacOSX文件中的说明进行操作.

Answer 3

OSX EI Captian具有swi-prolog安装的命令

brew install homebrew/x11/swi-prolog

Answer 4

Homebrew 几天前已将 swi-prolog 移至顶部，因此其他答案不再有效。原因是：swi-prolog 公式位于 x11 瓶子中，但 x11 依赖项只是可选的。

从今天开始，要使用自制程序安装 swi-prolog，只需执行以下操作：

brew install swi-prolog

如果您之前从 x11 瓶子安装过它，请考虑从新位置卸载并重新安装。否则，您在更新/升级时可能会遇到错误。

Answer 5

如果您将SWI-Prolog 应用程序下载到您的/Applications文件夹中，请将其添加到您的.bash_profile：

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

该swipl二进制生活在MacOS的目录。（别忘了source ~/.bash_profile之后）