Prolog中的递归问题

我在编程中遇到了一些困难，我试图编写一个谓词来返回两个城市之间的所有路径，尽管此时它返回它在无限循环中找到的第一个路径。不知道我要出错的地方，但我一直试图弄清楚这一点，而且我无处可去。Prolog中的递归问题

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

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。

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

非常感谢提前。

来源

2011-11-26 Humble_Student

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

来源

2011-11-26 17:48:37

我只是试图拿出重复，我仍然得到我的第一个答案的无限重复。 –

这是因为你在主循环中有另一个'repeat'（'go'指令）。直接使用'f（[]，0，lon，spa，OP，OD）'目标，在第一个解决方案后按';'，它会显示第二个。要以编程方式列举解决方案，您需要使用'findall/3'，而不是'repeat'。 –

啊，我明白了，非常感谢你的帮助，你是一个很好的人。 –

Prolog中的递归问题

回答

相关问题