Edición de «Final 14/12/2023 (Paradigmas)»

1)Haskell: Ejercicio idéntico a otro final.
Te dice que hay un tipo de datos recurisvo: D a
Tal que foldD::(a - >b - >) -> D a -> b
También te dice que tensa un elemento unD:: D Int
Y te da: foldD (+) unD
Decir si es verdadero o falso que: la expresión tipa pero independientemente de como se defina unD, nunca termina.

2) También, ejercicio similar ya tomado
Cambian la regla E-PredSucc por una qué hace:
pred(succ(N)) -> N
Decir si se pierden alguna, ni una o ambas propiedades:
I)Preservabilidad
I) Determinismo

3) De subtipado con referencias, no me acuerdo el enunciado exacto. 

4) Inferencia/MGU: sutil diferencia con uno tomado en otro final pero que cambia mucho :
Sea S un MGU de (C U { sigma1 =.= sigma2})
Verdadero o falso :
a) S es un unificado de C
b) S es un MGU de C

5) Sea P un conjunto de clausulas de definición y G un goal, y A el árbol SLD de Prolog. Decir verdadero o falso. 
a) A encuentra (o algo así) todas las refutacion es lineales de P U G
b) A encuentra todas las refutaciones SLD de P U G.

6) Dado un programa de Prolog, del cual podemos asumir que usamos solo los operadores extra lógicos, cut y not, pero podes usar todos los que quieras si querés. Decir verdadero o falso:
a) si p(a) tiene éxito => a es solución de p(X)
b) si a es solución de p(X) => p(a) tiene éxito.
Podes armar el programa que quieras, agregar otras clausulas etc.

7) clásico ejercicio de JavaScript en el que te da un código y tenes que ir diciendo que dan determinadas variables. Exactamente igual al ejercicio que tomo en el final escrito que esta en el grupo.
@@ Línea 13: / Línea 13: @@
 I) Determinismo
-) De subtipado con referencias:
+) De subtipado con referencias, no me acuerdo el enunciado exacto.
-let f: Ref (Nat -> { l: Nat }) = Ref (\x:Nat. {}) in 0
-Determinar si typechequea asumiendo que la regla de Ref es contravariante respecto del tipo
 ) Inferencia/MGU: sutil diferencia con uno tomado en otro final pero que cambia mucho :