單項選擇題

基于規(guī)則的逆向演繹系統(tǒng)的初始綜合數(shù)據(jù)庫是()

A.事實表達式的與或樹
B.目標公式的與或樹
C.與或樹
D.證明樹

微信掃碼免費搜題