path - Prolog图路径搜索与循环路径

Question

我是 Prolog 的新手。我试图找出一个问题，我需要检查边缘之间是否存在路径。我已经完成了循环的非循环图代码，我的代码将进入无限循环。

path(Start, End) :- edge(Start, End).
path(Start, End) :- edge(Start, Z), path(Z, End).

我需要通过定义一个新谓词来处理这种情况: new_path(开始，结束，路径) 这应该消除无限循环。请让我知道如何进行。

Answer 1

尝试

path(Start, End) :-
   closure(edge, Start, End).

使用 this definition for closure/3