A.初始狀態(tài) B.目標(biāo)狀態(tài) C.回溯策略 D.回溯條件
A.事實(shí)表達(dá)式的與或樹 B.目標(biāo)公式的與或樹 C.與或樹 D.證明樹
A.左上位置 B.中上位置 C.中央位置 D.中左位置