Prolog 为什么'；gnu序言支持；假；谓语（我已改为swi）

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

使用

fail

而不是

false

。我相信前者在Prolog的ISO标准中。否则，请自己定义它：

false :- 0=1.

或

---

GNU Prolog（1.4.0）的最新版本确实支持

false/0

---

false/0

在1995年的原始ISO标准中没有定义，但它是。

不会

false:-失败。

是一个更清晰的定义，因为您不知何故暗示它们具有相同的效果和/或是同义词？我的意思是：如果两者都不可用，这就是实现其中一个的方法。更改了我的答案。与此同时，ISO Prolog现在既有

fail

又有

false

。它可以在GNU和许多其他系统中使用。

fail :- 0=1.