Syntax “x2B”是什么意思在prolog中表示为运算符？

我在prolog中遇到了符号

\+

，不确定它的含义。我已经阅读了prolog文档，我不是太机智，就是没有真正注意到它

---

谢谢你的回答

它是一个不可证明的算子。请参阅此以了解更多信息。基本上，如果论点不可证明，这是正确的。

请看《真正惊讶的维基百科》有我的答案！但是谢谢你，这回答了我的问题。