多项选择题

基于规则的逆向演绎系统的使用条件()

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