在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 in你的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安装的命令

var express = require('express');
var app = require('configFile')(express());

Answer 4

Homebrew几天前将swi-prolog推向了顶峰，因此，其他答案已经无效了。原因是：swi-prolog公式位于x11瓶中，但x11依赖性仅是可选的。

截至今天，要使用自制软件安装swi-prolog，只需执行：

brew install swi-prolog

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

Answer 5

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

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

swipl二进制文件位于该MacOS目录中。 （不要忘记source ~/.bash_profile之后）

Answer 6

现在有一个方便的docker image。