Prolog =:=运算符 [英] Prolog =:= operator
本文介绍了Prolog =:=运算符的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
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屋!
查看全文