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

• A、无需专门的机理来实现算子的各种计算
• B、计算都是由定理证明程序中的演绎方法来处理
• C、求解过程简单
• D、有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述