0

我在序言中遇到了一些困难，我正在尝试编写一个谓词，它将返回两个城市之间的所有路径，尽管目前它返回它在无限循环中找到的第一条路径。不知道我哪里出错了，但我整天都在试图解决这个问题，但我一无所获。

可以提供的任何帮助将不胜感激。

go:-
    repeat,
    f([],0,lon,spa,OP,OD),
    write(OP),
    write(OD),
    fail.

city(lon).
city(ath).
city(spa).
city(kol).

path(lon,1,ath).
path(ath,3,spa).
path(spa,2,kol).
path(lon,1,kol).

joined(X,Y,D):-
    path(X,D,Y);path(Y,D,X).

f(Ci_Vi,Di,De,De,PaO,Di):-
    append([De],Ci_Vi,PaO),
    !.
f(Cities_Visited,Distance,Start,Destination,Output_Path,Output_Distance):-
    repeat,
    city(X),
    joined(Start,X,D),
    not_member(X,Cities_Visited),
    New_Distance is Distance + D,
    f([Start|Cities_Visited],New_Distance,X,Destination,Output_Path,Output_Distance).

not_member(X,List):-
    member(X,List),
    !,
    fail.
not_member(X,List).

我在这里期待的输出是 [spa,ath,lon]4 [spa,kol,lon]3。

再一次，任何帮助将不胜感激。

提前谢谢了。

4

1 回答 1

1

您的解决方案基本上是正确的。键入f([],0,lon,spa,OP,OD)，您将按预期获得第一条路径。我能看到的唯一错误是您在repeat搜索谓词中使用，这就是为什么您一直在计算相同的解决方案。repeat在业务逻辑中几乎从来不需要 - 解决方案的回溯已经内置到 REP 循环中。把它拿出来，你会得到预期的第二条路径，然后（正确地）失败。

于 2011-11-26T17:48:37.817 回答