1 
node(1,22,44).
node(2,43,53).
node(3,23,12).

distance(Id1,Id2,D) :-
    node(Id1,X1,Y1),
    node(Id2,X2,Y2),
    D is sqrt((X2-X1)^2 + (Y2-Y1)^2).

distancePath([X,Y],D) :-
    distance(X,Y,D).
distancePath([H,X|T],Distance) :-
    distancePath([X|T],Rest),
    distance(H,X,D),
    Aux is Rest + D,
    Distance is Distance + Aux.

我在 distancePath 上遇到了某种问题，因为当我运行distancePath([1,2,3],Distance).它时，它会给我“(is)/2 的参数 2 中的实例化错误”有人可以帮助我吗？

4

1 回答 1

1

Distance is Distance + Aux.没有多大意义。变量是不可变的，这意味着一旦设置变量将在 Prolog 评估的该分支中保持相同的值。此外Distance是无界的，因此错误。

你实际上已经有了值Distance：这是Aux因为它是Rest列表的距离，加上距离D：

distancePath([X,Y], D) :-
    distance(X,Y,D).

distancePath([H,X|T], Aug) :-
    distancePath([X|T],Rest),
    distance(H,X,D),
    Aux is Rest + D.

这给了我们：

?- distancePath([1,2,3], D).
D = 68.4652982294199 ;
false.

然而，上面的方法不是很有效：它没有使用尾递归，而且您多次执行 cons 构造函数的解包。您可以使用辅助谓词来提高效率：

distancePath([X|T], Result) :-
    distancePath(T, X, 0, Result).

distancePath([], _, D, D).
distancePath([J|T], I, Di, Do) :-
    distance(I, J, Dd),
    D2 is Di + Dd,
    distancePath(T, J, D2, Do).
于 2020-09-14T10:35:56.963 回答