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。