Final 19/09/2017 (Paradigmas)

1. Dado $M=\lambda x:\sigma \rightarrow \sigma .\lambda y:\sigma .x\ y$

1. 1. Existe $V$ tal que $fix\ M\twoheadrightarrow V?$
   2. Existe $V$ tal que $fix\ (M(\lambda x:\sigma .x))\twoheadrightarrow V?$

2. Pregunta de subtipado que no recuerdo bien. Tenía dos clases (una era subclase de la otra), y pregunta si puedo usar un supertipo de uno de los parámetros de la función de la superclase en una función sobreescrita por la subclase. Pregunta similar pero con ref (siendo este un atributo de la subclase)
3. Prolog.

p(1).
p(2).
q(X) :- p(X), not(q(X)).
q(X) :- p(X).

a) Que devuelve q(W)?

b) Que sucede si intercambio las ultimas dos lineas del programa?

c) Que sucede si cambio la tercer linea por q(X) :- not(p(X)), q(X). ?

4. Pregunta de resolución cuya fórmula no recuerdo. Preguntaba si podía resolverse en un sólo paso.
5. Ejercicios de seguimiento clásicos de Smalltalk.