Ejercicio 2.1 y 2.2

Ejercicio. Sugiera una representación para rectángulos, cuadrados y círculos como
objetos Prolog estructurados. Escriba algunos ejemplos que representen objetos físicos
concretos utilizando la representación que sugirió.


podemos ver que para construir una circunferencia almenos necesitamos el punto de origen y su radio.

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).
(b). punto( A, B) = punto( X, Y, Z).
(c). +( 2, 2) = 4.
(d). +( 2, D) = +( E, 2).
(c). triangulo(punto(-1,0),P2,P3) = triangulo(P1,punto(1,0),punto(0,Y)).
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.

a) Podemos ver que hay empatamiento ya que:

A=1 B=2

b) En este caso no hay empatamiento, ya que los argumentos no concuerdan.

c) En este caso si hay empatamiento, ya que la opracion nos lleva al resultado:

4=4

d) por lo que vemos si empatan ya que tienen los mismos funtores y por ultimo:

D=2 E=2