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