Jua*_*nti 20 prolog
我在这里看到了一些使用它的答案,我不知道它意味着什么或如何使用它.我也很难通过搜索引擎找到它:)
Car*_*rum 26
这是' 不可证明 '的运营商.如果它的论证不可证明它会成功(如果它的论证是可证明的则失败).
Tre*_*ins 7
这与否定有关.\+ Goal如果Goal无法证明,将会成功.
\+ Goal
Goal
归档时间：
16 年 前
查看次数：
30634 次
最近记录：
7 年，7 月 前