1

我试图让我的代码工作，但不知何故我陷入了一个问题，我是个新手。这是我的代码。

    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() 我得到这个错误

未捕获的异常：error(type_error(evaluable,'.'/2),(<)/2)

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

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

4

1 回答 1

1

例外是因为您尝试比较的术语是列表。

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

一种表达：

Term1 < Term2

如果成功

eval(Term1) < eval(Term2)

因此，Term1 和 Term2 必须是可评估的项（例如，(1+1)<(2+2)）。

尝试更改 shortestPath/4 正文：

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

通过这种方式，您有一个情侣列表（重量，路径），在 findMin 中您可以获得每个路径的重量。

于 2013-04-17T04:05:14.483 回答