Question

node(a).
node(b).
node(c).
node(d).
node(e).
node(f).
node(g).
node(h).
edge(a,b).
edge(b,c).
edge(c,a).
edge(c,e).
edge(c,d).
edge(d,e).
edge(d,h).
edge(e,g).
edge(g,e).
edge(e,f).
edge(f,g).
parent(X,Y):-edge(X,Y).
child(X,Y):-parent(Y,X).
path(X,Y):-edge(X,Y).
path(X,Y):-edge(X,Z),path(Z,Y).
path(X,Y,Z):- 
length_of_path(X,Y,1):-edge(X,Y).
length_of_path(X,Y,N):-edge(X,Z),length_of_path(Z,Y,N1),N is N1+1.
connected(X,Y):-path(X,Y); path(Y,X).
undirected_edge(X,Y):-edge(X,Y);edge(Y,X).
undirected_path(X,Y):-path(X,Y);path(Y,X).
tpath(Node1,Node2):-edge(Node1, SomeNode), edge(SomeNode,Node2).

Path（X，Y）需要找到从节点X到节点Y的定向路径。但是，在我的情况下，这是一个问题，因为存在无限递归（节点e，f，g是一个圆）。

Path（X，Y，Z）需要找到从节点X到节点Y的定向路径并存储在Z中。

length_of_path（X，Y，Z），Z是从X到Y的路径长度。

使这3个问题变得困难的原因是，您需要考虑到图中有圆圈。我不确定如何解决这个问题。

Answer 1

直接方法是跟踪到目前为止的路径，而不是转到您已经访问过的节点。这是一种实现：Definition of a path/trail/walk

如果我接受并添加您的node / 1和edge / 2定义，则会得到：

?- path(edge, Path, e, X).
Path = [e],
X = e ;
Path = [e, g],
X = g ;
Path = [e, f],
X = f ;
Path = [e, f, g],
X = g ;
false.

图Prolog中的长度和路径（避免循环无限递归）

1 个答案: