Prolog的樹節點路徑

Question

您好，我有序言和我對着在寫序言代碼以下問題的問題基本知識：編寫有關上圖中的事實，並寫入下面的序言規則：pos_path 。規則的

採樣運行：

?- pos_path(n1, nx, L). 
L = [n1,n3,n7,nx] ? ; 
L = [n1,n3,n4,n5,nx] ? ; 
L = [n1,n3,n4,n6,nx] ? ; 
no 

Answer 1

edge(ne,n1). 
edge(n1,n2). 
edge(n1,n3). 
edge(n3,n7). 
edge(n7,nx). 
edge(n3,n4). 
edge(n4,n5). 
edge(n5,nx). 
edge(n4,n6). 
edge(n6,nx). 

pos_path(A, B, Path) :- 
    path(edge, Path, A, B). 

使用另外一個問題定義path/4。