Ejercicio 2, Capitulo II.

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).
¡Tuvo éxito!

(b). punto( A, B) = punto( X, Y, Z).
¡No tuvo éxito!

(c). +( 2, 2) = 4.
¡No tuvo éxito!

(d). +( 2, D) = +( E, 2).
¡Tuvo éxito!

(e). triangulo(punto(-1,0),P2,P3) = triangulo(P1,punto(1,0),punto(0,Y)).
¡Tuvo éxito!

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.

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.

Magdaly M.G.