申論題 - 阿摩線上測驗

申論題資訊

試卷：102年 - 102 高等考試_三級_資訊處理：程式語言#25530
科目：程式語言
年份：102年
排序：0

五、考慮下述 Prolog 程式：

ancestor (x, x).

ancestor(x, y) :- ancestor(z, y), parent(x, z)

parent(Allen, John).

用一個 subgoal 的搜尋樹（search tree），描述此 Prolog 程式在執行查詢： ancestor(Allen, X)時的執行步驟。（10 分）