用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。为了得到F，最后执行的被触发规则是（）

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

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

A.数据驱动
B.程序驱动
C.依赖性
D.独立性