序言语法问题

use*_*729 0 operators prolog

我无法区分这些符号:

==:=

\==\=

[X,Y][X|Y]

有什么不同 ?

Kal*_*see 5

对于比较运算符 ( =, =:=, \=, =\=):

  • =如果术语统一(基本上,如果它们绑定在一起),则成功
  • =:=如果条款的值相等,则成功(=我相信,如果您正在处理数字,则应该等效)
  • \= 是否定的 =
  • =\= 是否定的 =:=

有关这些运算符的更多信息以及更多信息,请参阅此页面

对于列表运算符,[X|Y]是一种引用列表的方法,其中X是第一个元素,Y是其余元素的列表。 [X, Y]只是另一种引用方式,但它仅限Y于作为单个元素,而不是可能的整个列表。有关详细信息,请参阅同一页面的此部分