6

我正在尝试学习 Prolog 的基础知识，并使用以下代码继续遇到存在错误。

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)

这是显示错误的屏幕截图：

序言错误

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

4

2 回答 2

6

错误消息告诉您 Prolog 需要一个 predicate comes_after/0，但没​​有找到。此外，从 predicate 调用时会出现此问题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}
于 2017-11-04T14:54:15.357 回答
4

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

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

您可以在终端（在 gprolog 之外）上运行此命令，而不是在 gprolog 中使用 Consult(file_name)

    gplc file_name.pl

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

    ./file_name

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

于 2018-10-22T07:58:14.940 回答