Question

我正试图通过this page底部的练习，我发现自己对3号完全感到困惑。

我们获得以下旅游信息知识库：

byCar(auckland, hamilton). 
byCar(hamilton, raglan). 
byCar(valmont, saarbruecken). 
byCar(valmont, metz). 

byTrain(metz, frankfurt). 
byTrain(saarbruecken, frankfurt). 
byTrain(metz, paris). 
byTrain(saarbruecken, paris). 

byPlane(frankfurt, bangkok). 
byPlane(frankfurt, singapore). 
byPlane(paris, losAngeles). 
byPlane(bangkok, auckland). 
byPlane(singapore, auckland). 
byPlane(losAngeles, auckland).

很容易找出是否可以在两个城市之间旅行。我刚刚这样做了：

connected(X, Y) :- byCar(X, Y); byTrain(X, Y); byPlane(X, Y).
travel(X, Y) :- connected(X, Y).
travel(X, Z) :- connected(Y, Z), travel(X, Y).

然而，当我必须用变量统一路径时，我完全糊涂了！

我写了这个：

connected(X, Y) :- byCar(X, Y); byTrain(X, Y); byPlane(X, Y).
connected(Y, Z, Out) :- connected(Y, Z).
travel(X, Y, Out) :- connected(X, Y).
travel(A, Z, Out) :- connected(Y, Z),travel(A, Y, connected(Y, Z, Out)).

并致电travel(valmont, losAngeles,X).

在跟踪期间，除了最后的匿名变量之外，还有一个点显示正确的路径：

travel(valmont, metz, connected(metz, paris, connected(paris, losAngeles, _17)))

但我实际上并不知道如何将其与变量X统一起来！

我无法真正理解这一点。任何人都可以给我一个暗示只是为了让我朝着正确的方向前进吗？我缺少什么终止条件或什么？

编辑：

现在我有：

connected(X,Y) :- byCar(X,Y);byTrain(X,Y);byPlane(X,Y).

go(X,Y) :- connected(X,Y).

travel(X,Y,go(X,Y)) :- connected(X,Y).
travel(A,Z,Path) :- travel(Y,Z,Path),go(A,Y,Path).

go(A,Y,Path) :- travel(A,Y,Path).

但它会像这样陷入困境：

4    4  Exit: byPlane(paris,losAngeles) ? 
3    3  Exit: connected(paris,losAngeles) ? 
2    2  Exit: travel(paris,losAngeles,go(paris,losAngeles)) ? 
5    2  Call: go(metz,paris,go(paris,losAngeles)) ? 
6    3  Call: travel(metz,paris,go(paris,losAngeles)) ? 
7    4  Call: travel(_217,paris,go(paris,losAngeles)) ? 
8    5  Call: travel(_242,paris,go(paris,losAngeles)) ? 
9    6  Call: travel(_267,paris,go(paris,losAngeles)) ? 
10    7  Call: travel(_292,paris,go(paris,losAngeles)) ?

我玩过它，但我无法建立整个go(a,b,go(b,c))等......

Answer 1

我将为您提供递归的基本情况：

travel(X, Y, go(X, Y)) :- connected(X, Y).

递归情况看起来非常相似，只是您正在构建的go/3字词必须将位置作为其前两个参数，并且路径（另一个go/2或go/3字词）作为第二个。

Answer 2

我是由一位病理学家通过以下方式向我解释的：

你的目标是得到X = go（valmont，metz，go（metz，paris，go（paris，losAngeles）））以回应查询旅行（valmont，losAngeles，X）。

要解决此问题，您的travel / 3谓词需要有From，To和Path，但它必须以没有Path的简单go（From，To）结束。简单的go（From，To）是旅行的基本条件/ 3，所以：

travel(X, Y, go(X, Y)) :- connected(X, Y).

这与larsmans州一样。

现在，您需要创建递归travel / 3谓词：

travel(X, Y, go(X, Z, Path)) :-
 connected(X, Z),
 travel(Z, Y, Path).

你的go / 2谓词是多余的，有点令人困惑，因为travel / 3谓词看起来像一个go谓词。通过删除go / 2谓词，代码更容易阅读和理解。

Prolog中的递归 - 寻找城市之间的路径

2 个答案: