回答集编程主要是指语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程中,否定为失败指示推导失败;在回答集编程中,它指示一个文字的一致性。
原子 非金属元素 缺省逻辑 RDO 计算机语言 Remote+Data+Objects 量子引力理论 集合论公理系统 远程数据对象 SHOW LESS SHOW MORE (9)