LI2013-14: La lógica de Prolog
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.
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.
En los siguiente vídeos se presenta el uso de Prolog y uso de SldRaw.
La clase se basa en los apuntes de Introducción a la programación lógica con Prolog.
Las transparencias de esta clase son las página 1 a 18 del tema 12