% liegt(+P,+K,innerhalb)   Punkt P liegt innerhalb des Kreises K.
% liegt(+P,+K,auf)         Punkt P liegt auf dem Kreis K.
% liegt(+P,+K,ausserhalb)  Punkt P liegt ausserhalb des Kreises K.
liegt(punkt(P1,P2),kreis(punkt(M1,M2),R),innerhalb):-
    (P1-M1)**2+(P2-M2)**2 < R**2.
liegt(punkt(P1,P2),kreis(punkt(M1,M2),R),auf):-
    (P1-M1)**2+(P2-M2)**2 =:= R**2.
liegt(punkt(P1,P2),kreis(punkt(M1,M2),R),ausserhalb):-
    (P1-M1)**2+(P2-M2)**2 > R**2.

% ?- liegt(punkt(1,3),kreis(punkt(3,1),2),Lage).
