prolog - 如何在 Prolog 中定义和检查参数

Question

我是 prolog 的新手，并且有一个定义为的图表

edge(1,2).
edge(1,3).
edge(2,3).
edge(3,4).
edge(4,6).
edge(6,5).
edge(5,3).
edge(5,1).

path(A,B) :-   
  walk(A,B,[]) 
  .    

这应该显示边缘之间的连接，以及是否可以从一个节点走到另一个节点（？）

我正在尝试使它检查W（第一个参数）是否是G（图形和第二个参数）中的步数，以便我可以执行

 ?-edge(G), walk([5,Y,X,6],G) 

and
 succeed with Y=3, X=4.

标签： prologgraph-theory