recursion - 我怎样才能避免 Prolog 递归中的这个陷阱？

Question

我的目标是能够遍历图中的节点并在 Prolog 中输出路径的长度。我正在使用递归，但我陷入了这个问题。这是我迄今为止的尝试。

edge(a,b).
edge(b,c).
edge(a,d).
edge(d,f).

distance(X,Y,1) :- edge(X,Y).
distance(X,Y,Dis) :- edge(X,Z), distance(Z, Y, D), Dis is D +1.

问题:如果路径无效，我希望能够说 Dis = 0。如图所示，没有连接两个节点的边，Dis = 0。目前我的代码表示无效路径为 false。我在这方面的尝试导致我打破了递归。感谢您的帮助。

Answer 1

正如 @Hashcut 在他的评论中所说，如果 Dis = 0，则 X = Y 更有意义。事实上，如果路径无效，您的谓词就会失败，这是完全合乎逻辑的。

现在，如果你真的想做你所说的，你可以这样做:

distance_(X,Y,1) :- edge(X,Y).
distance_(X,Y,Dis) :- edge(X,Z), distance_(Z, Y, D), Dis is D + 1.

distance(X,Y,D) :- distance_(X,Y,D) -> true ; D = 0.

我们只需将原始谓词重命名为 distance_，然后创建谓词 distance，如果路径存在，它的作用与之前相同，或者统一 D<如果失败， 为 0。 -> 用于在路径有效的情况下放弃选择 D = 0。

请注意，您有以下行为:

?- distance(a,a,X).
X = 0.

?- distance(b,f,X).
X = 0.

这有点奇怪，但因为你想要什么而在意料之中。