Prolog中有一些特殊的运算符，其中一个是“is”，但是最近我碰到了=:=运算符，我不知道它是如何工作的。
有人可以解释运算符的作用吗？我还能在哪里找到此类特殊运算符的预定义列表及其作用？
谢谢。
最佳答案
?- 2+3 =:= 6-1.
true.
?- 2+3 is 6-1.
false.
另请参阅docs http://www.swi-prolog.org/pldoc/man?predicate=is/2
关于prolog - Prolog运算子=:=，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1417253/