gpt4 book ai didi

prolog - 为什么 gnu prolog 不支持 "false"谓词? (我已经改成swi了)

转载 作者:行者123 更新时间:2023-12-02 02:16:35 26 4
gpt4 key购买 nike

我一直在使用 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/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com