什么`\ +`表示prolog中的运算符？

Question

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

感谢您的回答！

Answer 1

这是一个不可证明的运营商。请参阅此link了解详情。基本上，如果论证不可证明，那就是正确的。