问答题

【参考答案】

对子句集S进行归结时,如果采用盲目的、全面的归结,其结果将产生大量的不必要的归结式,如果要在计算机上实现,不但浪费计算机......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)