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

# Dado f x = x (f x) en haskell
## ¿Cuál es el resultado de hacer f (\x -> 1 : x)?
## ¿Qué representa la función f?
# Dados los términos: <math> U1 = (\lambda x.\lambda y. xy) (\lambda z. z) (\lambda w. w)</math> y <math> U2 = (\lambda x. xx) (\lambda h. h) </math> ¿El algoritmo de inferencia da el mismo resultado para ambos?.
# Se tiene el siguiente programa en Prolog: P(X) :- Q(X), R(X), !, S(X), P2(X) :- Q(X), !, R(X), S(X), para cualquier Q(X), R(X), S(X) (es posible definir los que se requieran).
## ¿Los resultados de P(X) están contenidos en los de P2(X)?
## ¿Los resultados de P2(X) están contenidos en los de P(X)?
##¿Qué pasa ahora si tenemos P3(X) :- Q(X), !, R(X), !, S(X)? (Cómo se comporta en comparación a P y P2)
# Verdadero o falso:
## <math> \{P(x, y)\} </math> y <math>  \{\lnot P(y, f(y))\} </math> no unifican
## La Forma Normal de Skolem de <math> \forall x \forall y \exists z (P(x, z) \land  \lnot P(y, z)) </math> es <math> \forall x \forall y (P(x, f(x)) \land \lnot P(y, f(y))) </math>
## La Forma Normal de Skolem de <math> \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) </math> es <math> \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))</math>
# 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
## ¿Cuál es la diferencia entre self y super?
## Seguimiento.