在 prolog 中查找图的节点之间的距离

Question

我在 Prolog 中有一个由边和线表示的图。权重：

connected(a,b,2).
connected(b,e,1).
connected(b,l,5).
connected(b,g,2).
connected(c,s,2).
connected(d,a,2).
connected(d,k,4).
connected(d,l,7).
connected(e,m,2).

我需要编写一个谓词，它采用节点列表和权重列表。距离。

?- dist([a,b,e],X).
X=3

我试着写它，但它非常笨拙&没有给出预期的结果。

我的基本想法是： 如果它是一个包含 2 个元素的列表，则查看它们是否相连。 如果列表中的元素超过 2 个：查看第一个元素是否为第一个元素第二个元素已连接， 递归地查看下一个元素是否连接。 我为 head 和; 定义了 2 个辅助谓词。尾巴。

dist([A, B], X) :-
    connected(A, B, X).
dist([A|B], Length) :-
    connected(A, hd(B,H,N), X),  % sees if A & next element in the list are connected
    dist(tl(B,H,N), Length1),    % recursive call with the list excluding element A
    Length is X + Length1.       

hd([H|T],H,Q).
tl([H|T],T,Q).

我对 Prolog 非常陌生，我仍在尝试理解语言语义。 请建议一种有效的方法来解决这个问题。

Answer 1

dist([_], 0).            % path of length 0 has distance 0
dist([A, B | T], L) :-
    connected(A, B, L1), % A and B are connected directly, the distance is L1
    dist([B|T], L2),     % the distance between B and the last element is L2
    L is L1 + L2.