未定义的程序 DWIM 无法纠正 Prolog 中的目标

Question

我对prolog真的很陌生，我正在尝试一些例子。 我收到错误

ERROR: Undefined procedure: eats/2 (DWIM could not correct goal)当我运行规则时。

为什么它显示我的规则是否为真？请从我的.pl文件中查看下面的规则。这是取自一个例子。

eats(fred,oranges).                           /* "Fred eats oranges" */

Prolog 命令咨询：eats(fred,oranges).

对此错误的任何解释都将非常有帮助。

Answer 1

FAQ说明了一切：http://www.swi-prolog.org/FAQ/ToplevelMode.html

您需要创建一个文件并使用其中的规则编写程序。这 顶级命令行只允许您发出查询。

https://stackoverflow.com/a/5404259/1599699

Answer 2

命令没有错，您可以通过简单的命令解决问题 去编译