domains
i = integer
predicates
popadanie(i,i,i,i,i)
popadanie1(i,i,i,i,i)
gip(i,i,i)
clauses
gip(X, Y, G):-
G = sqrt(X * X + Y * Y).
popadanie(X,Y,X1,Y1,R):-
gip(X /*Появляется вот здесь перед минусом*/- X1, Y - Y1, N),
/*N = sqrt((X - X1) * (X - X1) + (Y - Y1) * (Y - Y1)),*/
N <= R.
popadanie1(X,Y,X1,Y1,R):-
/*N = sqrt((X - X1) * (X - X1) + (Y - Y1) * (Y - Y1)),*/
gip(X-X1, Y-Y1, N),
N < R.