Prolog 树节点路径

Question

你好，我对prolog有基本的了解，我在编写prolog代码时遇到了问题：写上图的事实并编写以下prolog规则：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。