Mini wiki
否定为失败
编辑
否定为失败是对
逻辑否定
做的释义,依据公式的否定为真,当且仅当这个公式不能被证明为真。否定为失败用于
逻辑编程
语言比如
Prolog
。
1
相关
回答集编程
是语法上类似逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示
否定为失败
。在传统逻辑编程中,否定为失败指示推导失败;在回答集编程中,它指示一个文字的一致性。