示例中的Prolog规则

Question

我在Prolog中有一个这样的数据库：

connection(a,b,bus)
connection(b,c,metro)
connection(b,d,taxi)
connection(d,e,bus)

我想要的是我需要应用的规则，所以我可以问一个问题：“ transport（a，c）”，它的答案是：“ bus”和“ metro”

是否可以定义1或2条规则，以便查询“ transport（a，c）”起作用？

您应该看到如下数据库：

connection(Departure,Arrive,Transport). 这样... connection(D,A,T).

那么规则是：

connection(D,A,T):- traject(D,A,T). 
connection(D,A,T):- traject(D,X,T1), traject(X,A,T2).

其中... traject(Departure, X, Transport1)和traject(X, Arrival, Transport2)

查询应该是这样的：

transport(a,c,T1). 和transport(a,c,T2).

然后答案应该是：

T1 = bus 
T2 = metro 

Answer 1

我会尝试这样的：

transport(A, B, [Method]) :- connection(A, B, Method).
transport(A, C, [Method|Others]) :-
    connection(A, B, Method),
    transport(B, C, Others).

这里的基本情况是您具有直接连接。 归纳的情况是找到一个连接，然后从中间节点重新出现。 请注意，您如果您尝试使用得到无穷倒退transport/3的身体，而不是两次connection/3 ，然后transport/3 ！ 试试看！

这似乎适用于我期望的输入：

?- transport(a, c, M).
M = [bus, metro] ;
false.

?- transport(a, d, M).
M = [bus, taxi] ;
false.

?- transport(a, e, M).
M = [bus, taxi, bus] ;
false.

希望这可以帮助！