我发现错误了
ERROR: Undefined procedure: eats/2 (DWIM could not correct goal) 当我执行规则时。
ERROR: Undefined procedure: eats/2 (DWIM could not correct goal)
为什么显示我的规则是真的?请参阅下面的.pl文件。这是一个例子。
eats(fred,oranges). /* "Fred eats oranges" */
Prolog命令咨询: eats(fred,oranges).
eats(fred,oranges).
对这个错误的任何解释都会很有帮助。