SLC2015: Programación en Prolog (2)
En la sesión de hoy del Seminario de lógica computacional hemos continuado es estudio de las extensiones de Prolog como lenguaje de programación, iniciada en la sesión anterior.. En concreto, se ha explicado:
SLC2015: Programación Prolog (1).
En la sesión de hoy del Seminario de lógica computacional hemos pasado del sistema deductivo de Prolog a las extensiones de Prolog como lenguaje de programación. En concreto, se ha explicado:
SLC2015: El sistema deductivo de Prolog
En la sesión de hoy del Seminario de lógica computacional se explicado, a través de ejemplos, cómo el razonamiento de Prolog resuelve problemas computacionales.
Los ejemplos son de creciente nivel de complejidad empezando con la lógica proposicional, continuando con la relacional y terminando con la funcional.
Las transparencias utilizadas se encuentran aquí.
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:
Read More “LI2014: Introducción a la programación lógica”
LI2013: Razonamiento en Prolog sobre listas
En la clase de hoy del curso Lógica Informática se ha estudiado cómo se representan las listas en Prolog, cómo se diseñan programas sobre listas y cómo Prolog obtiene las respuestas.
Para la construcción de los árboles de deducción de Prolog se ha utilizado el programa SldDraw. El uso del programa se muestra en el siguiente vídeo.
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 18 a 27 del tema 12
Read More “LI2013: Razonamiento en Prolog sobre listas”