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.

希望这有帮助！

例子中的Prolog规则

1 个答案: