基于归结的问题求解方法的优点是（）

A无需专门的机理来实现算子的各种计算

B计算都是由定理证明程序中的演绎方法来处理

C求解过程简单

D有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述