Final 28/04/2022 (Paradigmas)

Funcional

• Definir map usando foldl y foldr
• ¿Qué pasa con foldl y foldr con listas infinitas?

Lambda Cálculo

• Dadas las reglas de LC con registros, ¿por qué pedimos que para aplicar una proyección todo los campos de los registros sean valores y no proyectamos directametnte?
• Si sacamos la regla siguiente para arreglarlo, ¿ahora anda o sigue roto?

M -> M’

---

M.l -> M’l

• Hablamos de la propiedad de progreso

Lógico

• Diferencias entre la regla de unificación para proposicional vs. lógica de primer orden.
• ¿Por qué si las reglas para LPO no son completas, en Prolog se pueden usar igual y anda?
• Cómo funciona el not para árboles de resolución finitos e infinitos.
• Vimos unos casitos de unificación, y discutimos si se podía unificar en un paso a la cláusula {}:

 * {p(X,a)}, {~p(b,X)}
 * {p(X), q(a)}, {~p(b), ~q(Y)}

Objetos

• Diferencias entre semántica operacional entre LC y SC (o sea preguntaba por big step y small step).
• ¿Cómo se evidencia "que un programa se colgó" en la semántica operacional de lambda cálculo? ¿Y en sigma cálculo?