基于规则的逆向演绎系统的使用条件（）

• A、事实表达式是文字合取形式
• B、事实表达式是任意形式
• C、规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
• D、目标公式是任意形式