LI2014: Introducción a la programación lógica
En la clase de hoy del curso de 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.
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.
Finalmente se ha presentado dos vídeos sobre introducción al uso de SWI Prolog y uso de SldDraw para obtener árboles de resolución.
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: