Final 26/03/2016 (Paradigmas)
De Cuba-Wiki
1) sea f a b = (b:(-a))b . Que representa fix f 1
2) uno que te daba unos tipos y tenias q dar las reglas semanticas
3) inferir el tipo de f g (f g) (o algo asi)
4) Te daba un programa en prolog y tenias que hacer el arbol. El programa tenia un NOT
5) Verdadero y Falso sobre resolucion (en particular skolenizacion)
6) Un seguimiento de smalltalk
