单项选择题

基于规则的逆向演绎系统的初始综合数据库是()

A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树

相关考题