Ejercicios.

1. ¿ Las siguiente operaciones de matching tienen éxito ó fallan ?

Si tienen éxito, ¿cuáles son las instanciaciones resultantes en las variables?

(a). punto( A, B) = punto( 1, 2).

Ocurre con éxito al permitir instanciar los valore de 1 y dos en A y B respectivamente.

(b). punto( A, B) = punto( X, Y, Z).

Falla al tener diferentes magnitudes, falta un campo para  Z.

(c). +( 2, 2) = 4.

No se realiza la operación por tanto no se iguala el valor.

(d). +( 2, D) = +( E, 2).

Si se asigna los valores opuestos, las operaciones se vuelven iguales.

(c). triangulo(punto(-1,0),P2,P3) = triangulo(P1,punto(1,0),punto(0,Y)).

Ocurre con éxito al empatar los puntos con las variables.

2. Usando la representación que se definió anteriormente para segmentos de línea, escriba un término que represente cualquier segmento de línea vertical en x = 5.

La gratifican de la linea seria "(5,y)", para representar un segmento se necesitarían dos puntos (P1,P2) en "ys" diferentes, en este caso X y Y. 

3. Asuma que un rectángulo se representa con el término rectángulo( P1, P2, P3, P4) donde P1,P2,P3,P4 son los vértices del rectángulo ordenado positivamente. Defina la relación regular( R) que es verdad (true) si R es un rectángulo cuyos lados son vertical y horizontal.

R(horizontal(P1,P2),vertical(P1,P3),horizontal2(P3,P4),vertial2(P2,P4)) = rectangulo(P1,P2,P3,P4)

Asumiendo que el rectángulo se visualiza de la siguiente manera: