Final 01/08/2017 (Paradigmas)

1. Dado f x = x (f x) en haskell
   1. ¿Cuál es el resultado de hacer f (\x -> 1 : x)?
   2. ¿Qué representa la función f?
2. Dados los términos: Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle U1 = (\lambda x.\lambda y. xy) (\lambda z. z) (\lambda w. w)} y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle U2 = (\lambda x. xx) (\lambda h. h) } ¿El algoritmo de inferencia da el mismo resultado para ambos?.
3. 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).
   1. ¿Los resultados de P(X) están contenidos en los de P2(X)?
   2. ¿Los resultados de P2(X) están contenidos en los de P(X)?
   3. ¿Qué pasa ahora si tenemos P3(X) :- Q(X), !, R(X), !, S(X)? (Cómo se comporta en comparación a P y P2)
4. Verdadero o falso:
   1. Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{P(x, y)\} } y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{\lnot P(y, f(y))\} } no unifican
   2. La Forma Normal de Skolem de $\forall x\forall y\exists z(P(x,z)\land \lnot P(y,z))$ es Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall x \forall y (P(x, f(x)) \land \lnot P(y, f(y))) }
   3. La Forma Normal de Skolem de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) } es Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))}
5. Explicar qué pasaría si re definimos (S-func) de la siguiente manera: Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \frac{\sigma' <: \sigma \quad \tau' <: \tau}{\sigma \rightarrow \tau <: \sigma' \rightarrow \tau'} }
6. Objetos
   1. ¿Cuál es la diferencia entre self y super?
   2. Seguimiento.