在Prolog中意味着什么？

3 回答

• 25

  它's the ' not provable'运营商 . 如果它的论证不可证明它会成功（如果它的论证可证明则失败） .

  回复于 2024-04-27T10:27:51+08:00
• 7

  这与否定有关 . 如果无法证明 Goal ， \+ Goal 将成功 .

  回复于 2024-04-27T10:27:51+08:00
• 0

  我记住它的方式是通过以下逻辑规则：

  • \+ ='if unsure 或 false ，假设 false '

  这与标准布尔逻辑的不同之处在于，如果您的目标是不确定的而不是直接的真或假，则当它无法证明为真时，它会假定为假 . 最明显的例子是无法查看流是否仍处于打开状态 . 如果你不能证明它是开放的，那就像关闭程序一样 .

  https://en.wikipedia.org/wiki/Negation_as_failure

  回复于 2024-04-27T10:27:51+08:00