Programación Lógica. Introducción. Programación Lógica y Funcional, dos enfoques no tan diferentes. Lenguajes Lógicos. PROLOG: Introducción. PROLOG y el lenguaje de la lógica de primer orden. Predicados. Términos. Conectivas lógicas.