基于规则的逆向演绎系统对事实、规则和目标的化简过程（）

• A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
• B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
• C、对规则的处理同（*）式。
• D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）