NOMBRE: ALEX CARDONA CHAVEZ

REGISTRO: 210054484

% lugar(X, Y, L1) : Predicado que encuentra el lugar dónde se encuentra

% el punto X, Y.

lugar(X,Y,1):-X>0,Y>0,!.

lugar(X,Y,2):-X<0,Y>0,!.

lugar(X,Y,3):-X<0,Y<0,!.

lugar(X,Y,4):-X>0,Y<0,!.

lugar(X,Y,5):-X=\=0,Y=0,!.

lugar(X,Y,6):-X=0,Y=\=0,!.

lugar(X,Y,7):-X=0,Y=0,!.

% mismoLugar(X1, Y1, X2, Y2) : Predicado que es True, si los puntos X1,

% Y1 y X2, Y2 se encuentran en el mismo lugar.

mismoLugar(X1,Y1,X2,Y2):-lugar(X1,Y1,Z),lugar(X2,Y2,Z).

% enEjeX(X, Y) : Predicado que es True, si el punto X, Y se encuentra en

% el eje X.

ejeX(X1,Y1):-lugar(X1,Y1,5).

% enEjeY(X, Y) : Predicado que es True, si el punto X, Y se encuentra en

% el eje Y.

ejeY(X1,Y1):-lugar(X1,Y1,6).

% ejesDif(X1, Y1, X2, Y2) : Predicado que es True, si los puntos X1, Y1 y

% X2, Y2 se encuentran en ejes diferentes.

ejesDif(X1,Y1,X2,Y2):-lugar(X1,Y1,5),lugar(X2,Y2,6);

lugar(X1,Y1,6),lugar(X2,Y2,5).

% diagonalOpuesto(X1, Y1, X2, Y2) : Predicado que es True, si los puntos

% X1, Y1 y X2, Y2 se encuentran en cuadrantes diagonalmente opuestos.

diagonalOpuesto(X1,Y1,X2,Y2):-lugar(X1,Y1,1),lugar(X2,Y2,3);

lugar(X1,Y1,3),lugar(X2,Y2,1);

lugar(X1,Y1,2),lugar(X2,Y2,4);

lugar(X1,Y1,4),lugar(X2,Y2,2).

% distancia(X1, Y1, X2, Y2, Dist) : Predicado que encuentra en Dist, la

% distancia del punto X1, Y1 al punto X2, Y2.

distancia(X1,Y1,X2,Y2,Dist):-Dist is sqrt((X2-X1)**2+(Y2-Y1)**2).

% estaDentro(X1, Y1, R) : Predicado que devuelve True, si el punto X1, Y1

% se encuentra dentro de la circunferencia con radio R y centro en el

% origen.

estaDentro(X1,Y1,R):-distancia(0,0,X1,Y1,Z),Z<R.

% equilatero(X1, Y1, X2, Y2, X3, Y3) : Predicado que es True, si los tres

% puntos forman un triangulo equilatero.

equilatero(X1,Y1,X2,Y2,X3,Y3):-
distancia(0,0,X1,Y1,D1),distancia(0,0,X2,Y2,D2)
,distancia(0,0,X3,Y3,D3),D1=D2,D2=D3,D3=D1.
% isosceles(X1, Y1, X2, Y2, X3, Y3) : Predicado que es True, si los tres

% puntos forman un triangulo isosceles.

% horizontal(X1, Y1, X2, Y2) : Predicado que es True, si los dos puntos

% definen una recta horizontal.

% vertical(X1, Y1, X2, Y2) : Predicado que es True, si los dos puntos

% definen una recta vertical.

% lugarDif(X1, Y1, X2, Y2) : Predicado que es True, si los puntos X1, Y1

% y X2, Y2 se encuentran en lugares diferentes del plano cartesiano.

% lugarDif(X1, Y1, X2, Y2, X3, Y3) : Predicado que es True, si los puntos

% X1, Y1, X2, Y2, X3, Y3 se encuentran en lugares diferentes del plano

% cartesiano.

% dosMismoLugar(X1, Y1, X2, Y2, X3, Y3) : Predicado que es True, si dos

% puntos se encuentran en el mismo lugar y el otro punto en otro lugar.

% puntoMedio(X1, Y1, X2, Y2, X, Y) : Predicado que encuentra en X, Y el

% punto medio entre los puntos X1, Y1 y X2, Y2.

% pendiente(X1, Y1, X2, Y2, P1) : Predicado que encuentra la pendiente de

% la recta definida por los puntos X1, Y1, X2, Y2.

% mismaRecta(X1, Y1, X2, Y2, X3, Y3) : Predicado que es True, si los tres

% puntos se encuentra sobre una misma recta.