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