prolog - 单例变量错误

Question

我正在阅读 Ivan Bratko 的《人工智能编程》一书，我被困在一个基本问题上并遇到错误，之前关于堆栈溢出的答案似乎没有帮助。

我一直在尝试使用先前的事实作为参数来编写规则并遇到错误

Single variables: [Y]

我要运行的代码是这样的

parent(myfather,me).
parent(mymother,me).

happy(X) :- 
  parent(X,Y).

我过去曾设法制定过这样的规则，但我想我只是遗漏了一些非常明显的东西，说明为什么这不起作用。我认为当它编译并运行时

happy(myfather).

它将返回 true，因为它将快乐规则中的 X 替换为 myfather，然后用 parent(myfather,Y) 检查 parent(X,Y)。并尝试查看是否有一个事实表明 parent (我父亲，其他人......)。

如果相关的话，我也在 macOS 上使用 swipl，谢谢。

编辑:

我没有检查过，但该程序确实可以正常工作，但仍然会发出警告，这是有道理的，但是有没有什么方法可以消除错误或了解为什么会出现错误？

Answer 1

单例变量是一个警告，而不是错误。

它旨在提醒您，您有一个命名变量在一条规则中只出现一次。

如果您想抑制针对该特定变量的警告，请将其重命名为以下划线开头的名称(例如 _Y)，例如:

happy(X) :- parent(X, _Y).

或将其重命名为 _ ( anonymous variable )，例如:

happy(X) :- parent(X, _).

这种类型的警告对于发现拼写错误非常有用，例如输入错误的变量名:

happy(Child) :- parent(Chidl, Parent), happy(Parent).

Warning: Singleton variables: [Child,Chidl]

或其他类型的拼写错误，例如用句号代替逗号:

happy(Child) :- parent(Child, Parent). happy(Parent).

Warning: Singleton variables: [Parent]

Warning: Singleton variables: [Parent]

或其他逻辑错误。

如果没有单例变量警告，这些错误将不会被注意到并且更难以追踪。

因此，看到此警告通常也会提醒您寻找其他类型的错误。如果没有其他错误，则通过将其设为匿名来修复单例变量。

如果你知道自己在做什么，你可以全局禁用警告:

:- style_check(-singleton).