我一直在使用 gprolog 在 prolog 中做一些事情。但是现在当测试更多代码时我发现它不支持“false”。 swi支持哪些？
最佳答案
使用fail而不是false。我相信前者是在 Prolog 的 ISO 标准中。否则，请自行定义:
false :- 0=1.
或
fail :- 0=1.
关于prolog - 为什么 gnu prolog 不支持 "false"谓词？ (我已经改成swi了)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4166311/