图形路径定义问题

Question

解决方案

ppath(X,Y,M,Path,[Y|Path]) :- edge(X,Y,M),+ memberchk(Y,Path).
path(X,Y,P,SoFar,Path) :- edge(X,W,M), + memberchk(W,SoFar),
    path(W,Y,N,[W|SoFar],Path), P is M+N.
 pravilo(X,Y,Z) :-
    aggregate(min(W), P^path(X,Y,W,[],P),Z).

这是我的代码。问题是起点是a，终点是z。

执行后出现错误，结果显示为 [z， c， h， b]。但正确答案应该是 [a，b，c，z]。

请帮助解决我的问题。

Answer 1

library（aggregate） 允许对最小/最大标量操作进行witness。我们可以使用该功能来报告路径以及行程长度：

path(X,Y,M,Path,FullPath) :-
    edge(X,Y,M), + memberchk(Y,Path),
    reverse([Y|Path], FullPath).
path(X,Y,P,SoFar,Path) :-
    edge(X,W,M), + memberchk(W,SoFar),
    path(W,Y,N,[W|SoFar],Path), P is M+N.
pravilo(X,Y,Z,Path) :-
    aggregate(min(W,P), P^path(X,Y,W,[X],P), min(Z,Path)).

请注意，edge/3 中有一个拼写错误：edge(b,e,16应该edge(b,e,16).。

一旦纠正了数据库，我得到

pravilo(a,z,M,P).
M = 16,
P = [a, b, h, c, z].