回答集编程 回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败在传统逻辑编程中否定为失败指示推导失败在回答集编程中它指示一个文字的一致性