序言中两点之间的距离

Question

我正在尝试在 Prolog 中编写一个代码来计算两点之间的距离，但是当我尝试执行它时，它告诉我本地堆栈中的任何主体都知道这意味着什么以及我如何通过我的代码解决它道路：

point(a,5,2).
point(b,4,0).
point(c,2,3).
point(d,5,2).

distance(N1,N2,D) :-
    distance(point(N1,X1,Y2),point(N2,X2,Y2),Z),
    Z=sqrt(((X1-X2)*(X1-X2))+((Y1-Y2)*(Y1-Y2))).

line(N1,N2,D) :-
    distance(N1,N2,Z).

tangent(X,Y,M) :- 
    tangent(point(N1,X1,Y2),point(N2,X2,Y2),M),
    M=(Y1-Y2)/(X1-X2).

Answer 1

您正在distance根据 进行定义distance。一旦查询distance，计算机将调用distance，然后再次调用distance，依此类推。这称为无限递归。

另请参阅这个问题。

您应该更改您的代码，以便右侧

distance(N1,N2,D):-distance(point(N1,X1,Y2),point(N2,X2,Y2),Z)

并不总是指左侧。