序言語法問題

Question

我無法區分這些符號：

=和=:=

\=和=\=

[X,Y]和[X|Y]

有什麼區別？

Answer 1

對於比較運算符（=，=:=，\=，=\=）：

• =成功如果條款unify（基本上，如果他們結合在一起）
• =:=如果成功的值條款是相等的（如果你正在處理數字，應相當於=），我相信
• \=是的否定10
• =\=是=:=

否定有關這些運營商和更多的詳細信息，請參閱this page。

對於列表運算符，[X|Y]是一種引用列表的方式，其中X是第一個元素，Y是其餘元素的列表。 [X, Y]只是提到這個的另一種方式，但它將Y限制爲單個元素，而不是可能的整個列表。欲瞭解更多信息，請參閱this section of the same page。