C但在规则量很大时，反向演绎仍然需要逐一计算规则的匹配，比较缓慢低效