单项选择题

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