Ejercicio 1...Capitulo 2

Ejercicio 1... Capitulo 2

¿ 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).

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

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

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

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

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

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

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

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

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