Final 07/03/2016 (Paradigmas)

1) Sea f x = x (f x). Dar el resultado de evaluar f (\x->1:x). Que representa esta funcion?

2) Las reglas e-app1, e-app2, e-appAbs definen la regla de evaluacion utilizada por haskell?

3) que pasa en el algoritmo de inferencia de if-then-else si eliminas la unificacion de los contextos?

4) indicar por que no seria correcto una regla de subtipado de registros (era bastante facil).

5) Dado un programa en prolog ver si con consultas ground vs el mismo programa con una modificacion (cambiaba un hecho y ahora tenia un NOT) tenia soluciones distintas.

6) Verdadero y Falso de resolucion

7) Un seguimiento de smalltalk, bastante facil. Jugar un poco con self y super.