单项选择题
A.原子谓词公式B.子句C.空子句D.子句集
A.表达定理证明过程自然，易理解B.拥有丰富的推理规则，推理过程灵活C.便于嵌入领域启发式知识D.不易产生组合爆炸，得到的中间结论一般递增缓慢
A.合取B.析取C.相反D.否定
A.恰好匹配成功B.不能匹配成功C.多种匹配成功D.以上皆不是
微信扫一扫,加关注免费搜题
