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。