Prolog中_和_variable有什么区别？

Question

我遇到了很多以_开头的文字问题，例如_Peter。那究竟是什么区别：

good(_,_).

和

good(_,_Peter).

感谢您回答我的问题！

Answer 1

仅

_是一个匿名变量。同一子句中的多次出现（或相同的读取术语）代表不同的变量。

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

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