Prolog查找最小列表错误

Question

我试图使我的代码工作，但不知何故我被困在一个问题上，我非常新手。这是我的代码。

    dist(valmiera, riga, 107).
%dist(riga, valmiera, 107).
dist(cesis, riga, 70).
dist(valmiera, rujiena,  50).
dist(rujiena, valka, 30).
dist(valmiera, strenci, 200).
dist(strenci, valka, 30).
dist(valmiera, cesis, 40).
dist(liepaja, saldus, 100).
dist(saldus, riga, 200).
dist(liepaja, jelgava, 270).
dist(jelgava, riga, 50).
path(A,B,C,[A,B]):- dist(A,B,C).
path(A,B,D,[A|As]):- dist(A,W,C), path(W,B,E,As), D is C+E.
%, findMin(YList, E), path(A,B,X,E),!.
shortestPath(A,B,X,E):-findall(Y,path(A,B,S,Y),YList), findMin(YList, E), path(A,B,X,E),!.

findMin([],fail).
findMin([H],E):-E=H,!.
findMin([H,V],E):-H<V, E=H,!; V<H, E=V, !; H=:=V, E=H, !.
findMin([H|T],E):-findMin(T,U), H<U, E=H,!;findMin(T,U), U<H, E=U,!;findMin(T,U), U=:=H, E=U,!.

但是当我调用findMin()时我得到了这个错误

异常:错误(type_error(可评价的,"。"/2)(& lt;)/2)

我真的被卡住了，不知道该怎么办。如有任何帮助，不胜感激。

应用程序的目的是通过调用shortestPath()获得最短路径，路径在dist (a,b,distance)

Answer 1

这个例外是因为您试图比较的术语是列表。

[liepaja,saldus,riga]<[liepaja,jelgava,riga] ?

表达式:

Term1 < Term2 

如果

成功

eval(Term1) < eval(Term2)

因此，Term1和Term2必须是可求项(例如，(1+1)<(2+2))

尝试更改shortestPath/4 body:

shortestPath(A,B,X,E):-
   findall(couple(W,P),path(A,B,W,P),WP_List),
   findMin(WP_List, couple(Weight,ShortestPath)),...

通过这种方式，你有一对夫妇的列表(权重，路径)和在findMin中，你可以得到每个路径的权重。