Final 08/08/2017 (Paradigmas)

1. Dado f a b = b: (a (-b)) decir que representa la expresión fix f 1
2. Dado los términos: $U1=(\lambda x.\lambda y.xy)(\lambda z.z)(\lambda w.w)$ y $U2=(\lambda x.\lambda w.zw)(\lambda y.y)$. Ver y justificar. ¿El algoritmo de inferencia de tipos infiere el mismo resultado para ambos?.
3. Dado el programa programa en Prolog:
   1. P(X) :- ! , Q(X)
   2. P(X) :- R(X)
      1. Indicar verdadero o falso para cualquier Q(X), R(X):
         1. El cut de (i) se puede eliminar sin alterar el conjunto de soluciones.
         2. El conjunto de soluciones no se modifica si la segunda regla se cambia por P(X) :- ! , R(X)
4. Dado : $C1=\{\lnot P(x),\lnot P(a)\}$ y $C2\{P(w))\}$ , indicar verdadero o falso:
   1. $C3=\{\}$ es resolvente de C1 y C2.
   2. C3 puede obtenerse en un único paso de resolución SLD a partir de C1 y C2. (Falso, porque SLD resuelve una sóla clasula del goal)
5. Explicar qué pasaría si re definimos (S-func) de la siguiente manera: ${\frac {\sigma <:\sigma '\quad \tau <:\tau '}{\sigma \rightarrow \tau <:\sigma '\rightarrow \tau '}}$
6. Objetos
   1. Seguimiento. Clase A, m:^1, n:^self m. Clase B n: super n. Clase C, n:^2, Clase D ...
      1. Indicar objetos y mensajes de: ( ClaseD new ) n
      2. Realizar lo mismo, pero agregando a ClaseC new: ^ClaseB new.