LI2012: Introducción a la programación lógica
En la clase de hoy del curso Lógica Informática se ha realizado una introducción a la programación lógica con Prolog como aplicación de la resolución en la lógica de primer orden. lógica proposicional.
Se ha presentado el sistema deductivo de Prolog en tres fases: proposicional, relacional y funcional. En cada una se ha comentado cómo representar el conocimiento, cómo realizar consultas y cómo es el razonamiento de Prolog para calcular las respuestas.
Los apuntes de esta clase son Introducción a la programación lógica con Prolog (páginas 1-26).
Las transparencias de esta clase son las páginas 1 a 18 del tema 13