---

基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A:用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B:用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C:对规则的处理同（*）式。
D:用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）

---

出自：计算机科学

显示答案