prolog - Prolog 中的 bool 赋值

Question

全部。

我想为变量分配一个 bool 值。

我试过类似的东西。

Diagonal is (XPiece = XFinal)
Diagonal is (XPiece =:= XFinal)
Diagonal is (XPiece is XFinal)

没有工作...

有什么解决办法吗？

Answer 1

Prolog 的内置谓词 is/2将表达式的右侧计算为算术表达式，并将结果与​​左侧统一。

此外，prolog 没有 bool 类型。 Prolog 的内置类型是

整数

float

原子

未绑定(bind)变量

复合词

您可以选择将 bool 值表示为原子 true/ false (有助于提高可读性)，或者您可以将 bool 值表示为整数值 1/ 0 (用于计算)。大多数过程语言，如 C，将算术值评估为 bool 值的方式被破坏了 WRT 形式逻辑，但是:假是单值 (0) 和真值是多值 (非零)，这意味着它不是假的。在形式逻辑中，真值是单值的，假值被定义为不真值。

因此，您可能需要考虑表示的语义并构建一些谓词来操作您的 bool 值，可能会添加一些运算符来“扩展”prolog 一点。