prolog - 为什么 gnu prolog 不支持“假”谓词？（我已更改为 swi）

Question

我一直在使用 gprolog thingy 在 prolog 中做一些事情。但是现在在测试更多代码时，我发现它不支持“false”。swi支持哪个？

Answer 1

使用fail而不是false. 我相信前者在 Prolog 的 ISO 标准中。否则，请自行定义：

false :- 0=1.

或者

fail :- 0=1.

Answer 2

最新版本的 GNU Prolog (1.4.0) 确实支持false/0.

false/0未在 1995 年的原始 ISO 标准中定义，但属于 Cor.2:2012的一部分。