结果深度有限

Question

我有以下Prolog代码，限制了结果的深度。

road(a,b,10).
road(b,c,15).
road(a,d,20).
road(d,b,30).
road(d,e,5).
road(e,c,25).
road(c,a,30).

path(A,B,D,L):-
   L>0,
   road(A,B,D).
path(A,C,D,L):-
   road(A,B,D1),
   L1 is L -1,
   L1>0,
   path(B,C,D2,L1),
   D is D1 + D2.

在这里，深度（L）限制了与结果关联的中间点的数量。 “ L”是生成结果时可以访问的最大节点数。

我只想获得深度为'L'而不是（0 <= depth <= L）范围内的结果。 我怎么能得到那个结果？

Answer 1

我认为

path(A,B,D,1):-road(A,B,D).
path(A,C,D,L):-L > 1, road(A,B,D1),L1 is L -1,L1>0,path(B,C,D2,L1),D is D1 + D2.

应该做。 注意：未经测试的代码...