在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

我尝试了一些方法，看是否能解决问题，但欢迎语“Welcome”文本似乎从未出现过。可能最接近成功的一次是当我在MacOS文件夹中输入"pl"时。然而，终端没有任何响应，我不得不使用Crtl-D。

我做错了什么吗？我安装了错误的内容吗？

我使用的是Mac OS X 10.9.1 Mavericks系统。我将SWI-Prolog应用程序放入了应用程序文件夹，并根据网站的建议下载了XQuartz。

- user3278629

---

你正在使用哪个版本的SWI？ - Shon

另外，您是否尝试将 /Applications/SWI-Prolog.app/Contents/MacOs 添加到您的 PATH 中？我相信这就是我所做的，因为 swipl 可执行文件就在其中。 - Shon

Answer 1

如果你已经安装了Homebrew，你可以直接运行。

brew install swi-prolog

你可以使用终端从源代码中构建它，只需一个命令即可。

然后，您可以使用 swipl 运行解释器。

- Simon Hartcher

---

我需要先运行brew tap homebrew/x11。 - Tomas Mikula

我已经删除了“brew tap”命令，因为它不再必要，Homebrew已更改了配方的位置。 - Andreas Dolk

我收到了“错误：swi-prolog没有可用的公式”的消息。即使在第一次运行“brew tap homebrew/x11”之后。 - claude computing

我想要 swi-prolog 的旧版本，我该怎么做？ - any

Answer 2

在 MacOS X 上安装 SWI-Prolog 有三种可行的方法，按照复杂度逐渐增加：

1. 下载 SWI-Prolog 应用程序。此时，您只需下载一个磁盘映像，打开它，将应用程序拖到您的磁盘上（例如，拖到您的 Applications 文件夹）。您可以像使用其他应用程序一样双击其图标来使用该应用程序。如果您还想使用应用程序包中的二进制文件，请将其中的 Contents/MacOS 目录添加到您的系统路径中（例如，假设您将 SWI-Prolog 应用程序复制到了应用程序文件夹中，则在您的 shell 配置文件中执行 export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH）。

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 进行检查。

3. 从源代码编译。在这种情况下，下载源代码压缩包，解压并按照 README.MacOSX 文件中的说明进行操作。

- Paulo Moura

---

我选择了第一个选项，然后弹出了一个窗口，我可以在里面输入Prolog命令，有熟悉的?-提示符。这很好，但是我很难加载pl文件。通常你可以使用[文件名]来加载，但是这并不起作用，我猜测是因为它不知道在哪里查找该文件。你有什么想法如何解决这个问题吗？ - The Oddler

调用谓词 pwd/0 来检查当前目录。您可以通过调用谓词 cd/1 来随时更改它。或者在咨询文件时提供相对或绝对文件路径。 - Paulo Moura

Answer 3

苹果电脑的OSX EI Captian系统中，使用以下命令进行swi-prolog安装：

brew install homebrew/x11/swi-prolog

- Mounika Kakarla

---

由于Homebrew的一些更改，这个不再起作用。请查看我的答案。 - Andreas Dolk

Answer 4

如果你将SWI-Prolog应用程序下载到/Applications文件夹中，然后将以下内容添加到你的.bash_profile文件中：

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

swipl二进制文件存在于MacOS目录中。(别忘了在之后执行source ~/.bash_profile)

- Zhanwen Chen

Answer 5

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

从今天开始，使用 Homebrew 安装 swi-prolog，只需执行以下操作：

brew install swi-prolog

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

- Andreas Dolk

---

我使用了这个命令，它下载了并且我得到了欢迎提示，但是我该如何创建文件？ - Nameishi

Answer 6

现在有一个方便的docker镜像。

- bhurlow