Prolog existence_error基本示例中的过程

Question

我正在尝试学习Prolog的基础知识，并使用以下代码不断遇到existence_error。

comes_after(m1, m2).
comes_after(m2, m3).
comes_after(m3, m4).
comes_after(m4, m5).
comes_after(m5, m6).
does_come_after(X, Y) :- comes_after(X, Y).
does_come_after(X, Z) :- comes_after(X, Y), does_come_after(Y, Z).

执行诸如 does_come_after（m1， m3） 之类的查询时，我不断收到以下错误。

uncaught exception: error(existence_error(procedure,comes_after/0),does_come_after/0)

下面是显示错误的屏幕截图：

序言错误

我

做错了什么，我应该记住什么以避免将来出现这些错误？提前谢谢。

Answer 1

错误消息告诉您 Prolog 需要谓词comes_after/0，但没有找到。此外，从谓词does_come_after/0调用时会出现此问题。现在，您的定义都使用 arity 2。因此comes_after/2和does_come_after/2.因此，系统所期望的事情不会发生。

如果是这样，那一定与您的安装有关。 你有 1.4.5 这是最新版本，1.4.4 仍然是当前的稳定版本。

因此，您可能安装了另一个较旧的系统，该系统通过提供不兼容的pl2wam编译器进行干扰。要验证这一点，请说 which pl2wam 或 pl2wam --version 。

特别是，1.3 甚至 1.2 的版本可能会产生这样的结果。在 GNU 中没有对此进行版本检查。

为了确保我始终获得正确的版本，我说：

 export PATH=/opt/gupu/gprolog-1.4.5/bin:${PATH}

Answer 2

不幸的是，这是 1.4.5 版的问题。

幸运的是，您可以执行一个技巧，而不是降级：

而不是在 gprolog 中使用 consult（file_name），你可以在你的终端上运行这个命令（在 gprolog 之外）

    gplc file_name.pl

它将输出一个您可以运行的可执行文件

    ./file_name

它应该解决您的存在错误问题。