prolog语法问题

Question

我无法区分这些符号：

=和=:=

\=和=\=

[X,Y]和[X|Y]

有什么区别？

Answer 1

对于比较运算符（=，=:=，\=，=\=）：

如果条款unify（基本上，如果它们绑在一起），
• =会成功
如果条款的值相等，则
• =:=成功（如果您正在处理数字，则应相当于=）
• \=是对=
的否定
• =\=是对=:=
的否定

有关这些运算符的详情，请参阅this page。

对于列表运算符，[X|Y]是一种引用列表的方法，其中X是第一个元素，Y是其余元素的列表。 [X, Y]只是引用它的另一种方式，但它将Y限制为单个元素，而不是可能是它们的完整列表。有关详细信息，请参阅this section of the same page。