Prolog =:= 运算符 [英] Prolog =:= operator

问题描述

Prolog 中有一些特殊的运算符，其中之一是 is，但是最近我遇到了 =:= 运算符，不知道它是如何工作的.

There are some special operators in Prolog, one of them is is, however, recently I came across the =:= operator and have no idea how it works.

谁能解释一下这个运算符的作用，以及我在哪里可以找到这些特殊运算符的预定义列表以及它们的作用?

Can someone explain what this operator does, and also where can I find a predefined list of such special operators and what they do?

推荐答案

?- 2+3 =:= 6-1.
true.

?- 2+3 is 6-1.
false.

另请参阅文档 http://www.swi-prolog.org/pldoc/man?predicate=is/2

这篇关于Prolog =:= 运算符的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！