我正在试图找到一个prolog运算符表解释。我找到了这个: http://www.swi-prolog.org/pldoc/man?section=operators
但他们没有解释。我正在寻找更具体的含义:
\==, >>, <<
附属问题:
我知道\ ==不会评估表达式的两个术语。
对这两个术语进行评估的运营商是什么? (类似于!=其他语言..)
答案 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>