Prolog节点路径

Question

figure

写下关于上图的事实并编写以下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

pos_path的实现是什么？