Prolog中_和_variable有什么区别？

Question

我也遇到了很多问题与同开始文字_如_Peter.那究竟是什么区别:

good(_,_).

和

good(_,_Peter).

谢谢你回答我的问题!

Answer 1

_单独是一个匿名变量.同一子句中的多次出现(或相同的读取术语)表示不同的变量.

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

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