`\+` 在序言中作为运算符表示什么？

Question

我在 prolog 中遇到了符号 \+，但不确定它的含义。我已经阅读了 prolog 文档，但要么不是太足智多谋，要么没有真正注意到它。

感谢您的回答！

Answer 1

这是一个不可证明的算子。请参阅此 link 以了解更多信息。基本上，如果论证不可证明，则为真。