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

查看:79
本文介绍了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屋!

查看全文
登录 关闭
扫码关注1秒登录
发送“验证码”获取 | 15天全站免登陆