以下 Prolog 程序中的意外行为

Question

我试图了解递归在 Prolog 中的工作原理。考虑以下程序。

edge(a,b).
edge(b,c).
edge(c,d).
edge(a,d).
edge(c,e).
path(d).
path(Vertex) :-  edge(Vertex, Next), write(Next), path(Next).

运行路径（a）。

输出：

?- path(a).
bcd
true ;
ed
true;
false

我不太明白的是这个程序的循环部分。所以我们从a开始，然后我们去b，c和d。一旦我们看到 d 我们就停下来。我无法理解第四行中的输出“ed”。为什么它会去 e,d 然后返回 true。我也不明白运营商如何';'查询另一个结果时有效。这是否意味着得到下一个可能的结果？

另一个例子：下面的程序将所有可能的路径从一个节点写入另一个节点。我不明白这个程序中的循环如何显示不同的路径列表。

 link( a, b ).
    link( a, d ).
    link( b, c ).
    link( d, e ).
    link( e, c ).
    link( e, f ).
    link( f, a ).
    link( f, g ).
    link( f, j ).
    link( g, h ).
    link( h, i ).
    link( i, j ).


not( X ) :- X, !, fail.
not( _ ).

writeallpaths( Node, Node ) :-
   write( Node ), write( ' is ' ), write( Node ), nl.
writeallpaths( Node, Next ) :-
   listpath( Node, Next, [Node], List ),
   write( Node ), write( ' to ' ), write( Next ), write( ' is ' ),
   writepath( List ),
   fail.

writepath( [] ) :-
   nl.
writepath( [Head|Tail] ) :-
   write( ' ' ), write( Head ), writepath( Tail ).

listpath( Node, End, Outlist ) :-
   listpath( Node, End, [Node], Outlist ).

listpath( Node, Node, _, [Node] ).
listpath( Node, End, Tried, [Node|List] ) :-
   link( Node, Next ),
   not( member( Next, Tried )),
   listpath( Next, End, [Next|Tried], List ).

Answer 1

我也不明白运算符';'查询另一个结果时有效。这是否意味着得到下一个可能的结果？

是的。当你进入时会发生什么；在找到解决方案“bcd”后，Prolog 尝试寻找替代解决方案。在您的情况下，它“返回”（回溯）到“c”，因为它具有“e”的替代路径并从那里继续搜索，直到到达“d”。显然，它不会打印出整个解决方案“bced”，因为 Prolog 不会回到最开始，而只是回到“c”，所以只会打印“c”之后的节点。

此外，您始终可以使用 trace/0 谓词，它可以让您详细了解 Prolog 如何执行您的代码。