演绎的方法B在规则量很大时，反向演绎仍然需要逐一计算规则的匹配，比较缓慢低效C反向演绎从待证目标出发，又称归结原理D演绎是从一般到特殊；而反向推理以某个假设目标作为出发点，来展开推理