Edición de «Final 25/07/2023 (Paradigmas)»

Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti 
Funcional. Me tomo hacer una función que toma dos listas y me devuelva si true o false (acá es el truco de foldr que devuelve una función) y en el medio mini preguntitas de que tipo tiene fold r, la función que usa tmb que tipo… etc..
Cálculo lamsa lo de correctutud progreso y preservación 
Inferencia me preg como el la función de inferencia, y qué pasa si tengo w(x) = {x:May} - x : nat está bien?
Y no, xq siempre nos devuelve el más general entonces sería s, no nat.
Prog lógica, dif entre prop y PO en la regla de resolución 
SLD me preg xq es completa (xq usa cláusula de horn)
Que usa prolog y un ejercicio de prolog y hacer su árbol