edge(a, b).
edge(b, d).
edge(d, c).
edge(d, e).
edge(d, f).
edge(e, g).
edge(f, g).
edge(g, h).
(假设每条边的长度相同)。
例如,要获取a和d之间的路径长度:?- length(a,d)
应返回2*constant (a->b and b->d)
。
我知道要做一个递归过程,我已经启动了一个名为isConnected
的过程来测试两个节点之间是否存在连接:
isConnected(X1, X2) :- edge(X1, X2).
和
isConnected(X1, X2) :- edge(X1, X), isConnected(X, X2).
但我不确定如何从这里开始。我知道我应该有一个调用isConnected
的dist
过程,and的结果是移动到下一条边,然后将结果与L is Length
之类的东西相加。但我不确定该怎么做。
任何帮助都将不胜感激!
发布于 2013-04-16 14:11:14
Daniel的回答是ok,您只需对返回的列表应用length/2即可。这里是一种更直接的方法,在路径建立后添加单位步骤:
isConnected(X1, X2, 1) :- edge(X1, X2).
isConnected(X1, X2, D) :- edge(X1, X), isConnected(X, X2, T), D is T + 1.
发布于 2013-04-16 11:24:35
信不信由你,你们真的很接近了!你甚至正在生成你需要的所有信息,只是你没有把它保存在任何地方。我在您的第二条isConnected/2
规则中指的是X
:这就是您需要保留的所有内容,以便完成剩下的步骤。
isConnected(X1, X2, [X2]) :- edge(X1, X2).
isConnected(X1, X2, [X |Rest]) :- edge(X1, X), isConnected(X, X2, Rest).
基本上就是这样:
?- isConnected(a,X,P).
X = b,
P = [b] ;
X = d,
P = [b, d] ;
X = c,
P = [b, d, c] ;
X = e,
P = [b, d, e] ;
X = f,
P = [b, d, f] ;
X = g,
P = [b, d, e, g] ;
X = h,
P = [b, d, e, g, h] ;
X = g,
P = [b, d, f, g] ;
X = h,
P = [b, d, f, g, h] ;
false.
https://stackoverflow.com/questions/16026899
复制相似问题