Final 08/03/2023 (Paradigmas)

Funcional: Dado un árbol binario decidir si es un ABB

Lambda cálculo: Explicar progreso+preservación

Inferencia: Qué hace el algoritmo W, qué toma como input y qué devuelve

Lógica: Por qué no se puede usar resolución binaria en primer orden, por qué está todo bien con usarla en resolución SLD Si el árbol de prolog es siempre igual al SLD

Objetos: Clases en sigma cálculo Diferencias en la semántica entre sigma cálculo y lambda cálculo, cómo se evidencia en cada uno que un término no está bien definido