prolog中的_和_variable有什么区别？

Question

我遇到过很多关于以_ 开头的文字的问题，例如_Peter。那么到底有什么区别：

good(_,_).

和

good(_,_Peter).

感谢您回答我的问题！

Answer 1

_ 单独是一个匿名变量。在同一个子句（或同一个读词）中多次出现代表不同的变量。

以_ 开头但包含更多字符的变量不是匿名变量。多次出现代表同一个变量。

按照惯例，许多 Prolog 系统要求只出现一次的变量需要以 _ 开头。但这是在大多数实现中仅导致警告的约定。