为什么 gnu prolog 不支持“false”谓词？ （我已经改成swi了）
我一直在使用 gprolog 在 prolog 中做一些事情。但现在当测试更多代码时我发现它不支持“false”。 swi支持哪些？
I've been using the gprolog thingy to do some things in prolog. But now when testing some more code I discovered that it does not support "false". Which is supported by swi?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
使用
fail而不是false。我相信前者是在 Prolog 的 ISO 标准中。否则，请自行定义：或
Use
failinstead offalse. I believe the former is in the ISO standard for Prolog. Otherwise, define it yourself:or
最新版本的 GNU Prolog (1.4.0) 支持
false/0。false/0并未在 1995 年的原始 ISO 标准中定义，而是 Cor.2:2012 的一部分。Recent versions of GNU Prolog (1.4.0) do support
false/0.false/0is not defined in the original ISO standard of 1995, but is part of Cor.2:2012.