Prolog 运算符 table 含义
Prolog operators table meaning
我正在尝试查找 table 序言运算符的解释。我找到了这个：
http://www.swi-prolog.org/pldoc/man?section=operators
但是没有解释。我正在寻找更具体的含义：
\==, >>, <<
补充问题：
我知道 \== 没有计算表达式的两个项。
对这两个术语进行评估的运算符是什么？ （类似于其他语言中的 !=..）
序言运算符只是普通序言术语的语法糖。中缀运算符 \== 是内置谓词 \==/2。有关详细信息，请参阅 http://www.swi-prolog.org/pldoc/man?section=compare。
中缀运算符<<和>>分别是内置算术函数<</2和>>/2。有关详细信息，请参阅 http://www.swi-prolog.org/pldoc/man?section=functions。
就将左侧和右侧都计算为算术表达式的比较运算符而言，您需要 =:=/2 及其逆运算 =\=/2，请参阅 [=20= 中的文档]
我正在尝试查找 table 序言运算符的解释。我找到了这个： http://www.swi-prolog.org/pldoc/man?section=operators
但是没有解释。我正在寻找更具体的含义：
\==, >>, <<
补充问题：
我知道 \== 没有计算表达式的两个项。
对这两个术语进行评估的运算符是什么？ （类似于其他语言中的 !=..）
序言运算符只是普通序言术语的语法糖。中缀运算符 \== 是内置谓词 \==/2。有关详细信息，请参阅 http://www.swi-prolog.org/pldoc/man?section=compare。
中缀运算符<<和>>分别是内置算术函数<</2和>>/2。有关详细信息，请参阅 http://www.swi-prolog.org/pldoc/man?section=functions。
就将左侧和右侧都计算为算术表达式的比较运算符而言，您需要 =:=/2 及其逆运算 =\=/2，请参阅 [=20= 中的文档]