Programación Declarativa

Breve introducción a la lógica de Primer Orden: teoría de modelos  y teoría de la prueba. La programación lógica. Realización computacional de la programación lógica. La programación funcional. Realización computacional de la programación funcional. Integraciones de la programación lógica (funcional) con la programación orientada a objetos. Estudio de algunos lenguajes de programación lógica (funcional) y sus realizaciones computacionales.