Edición de «Final 08/08/2017 (Paradigmas)»

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