序言。构造图的传递闭包

【问题标题】：Prolog. Construct a transitive closure of a graph序言。构造图的传递闭包
【发布时间】：2020-11-29 17:53:30
【问题描述】：

我对 Prolog 很陌生。我有这样一张图：

edge(a,e).
edge(e,f).
edge(f,d).
edge(d,a).

我将传递闭包定义为：

p(X,Y) :- edge(X,Y).
tran(X,Z) :- p(X,Y), p(Y,Z).

我需要构造一个图的传递闭包。请让我知道如何继续。

【问题讨论】：

【解决方案1】：

trans/2 的问题在于它只会走两条条边，而不是任意数量。

我们可以定义一个谓词tran(X, Z)，如果edge(X, Z) 成立，或者edge(X, Y) 然后tran(Y, Z) 成立。因此，我们在后者中跟随一个边缘，然后在tran/2 上递归：

tran(X, Z) :-
    edge(X, Z).
tran(X, Z) :-
    edge(X, Y),
    tran(Y, Z).

【讨论】：