Prolog运营商表的含义

时间:2015-08-12 16:03:58

标签: prolog

我正在试图找到一个prolog运算符表解释。我找到了这个: http://www.swi-prolog.org/pldoc/man?section=operators

但他们没有解释。我正在寻找更具体的含义:

\==, >>, <<

附属问题:

我知道\ ==不会评估表达式的两个术语。

对这两个术语进行评估的运营商是什么? (类似于!=其他语言..)

1 个答案:

答案 0 :(得分:2)

Prolog运算符只是普通序言术语的语法糖。中缀运算符\==是内置谓词\==/2。有关详细信息,请参阅http://www.swi-prolog.org/pldoc/man?section=compare

中缀运算符<<>>分别是内置的算术函数<</2>>/2。有关详细信息,请参阅http://www.swi-prolog.org/pldoc/man?section=functions

对于将左侧和右侧都作为算术表达式进行评估的比较运算符,您需要=:=/2及其相反的=\=/2,这些文档在http://www.swi-prolog.org/pldoc/man?section=arith < / p>