以下关于反向演绎的说法错误的是（）

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