我在这里看到了一些使用它的答案，我不知道它意味着什么或如何使用它。我也很难通过搜索引擎寻找它：）
答案 0 :(得分：26)
这是'not provable'运算符。如果它的参数不可证明（如果其参数可证明则失败），它会成功。
答案 1 :(得分：7)
这与否定有关。如果无法证明\+ Goal，Goal将会成功。
答案 2 :(得分：0)
我记忆的方式是通过以下逻辑规则：
\+ ='if unsure或false，假设false'这与标准布尔逻辑的不同之处在于，如果你的目标是不确定的而不是彻头彻尾的真假，那么当它无法证明是真的时，它就会假定为假。最明显的例子是无法查看流是否仍处于打开状态。如果你不能证明它是开放的，那就像关闭程序一样。