五、考慮下述 Prolog 程式:
ancestor (x, x).
ancestor(x, y) :- ancestor(z, y), parent(x, z) 
parent(Allen, John). 
用一個 subgoal 的搜尋樹(search tree),描述此 Prolog 程式在執行查詢: ancestor(Allen, X)時的執行步驟。(10 分)