Programación lógica (2004-05)

José A. Alonso Jiménez
Horas de clases: Jueves de 18:00 a 20:00
Lugar: Seminario del Dpto. de CCIA en el L4
Créditos: 3

En este curso se estudia la programación lógica tanto desde el punto de vista aplicado como teórico. Se comienza con la presentación de Prolog como un sistema deductivo y como lenguaje de programación. A continuación se estudia aplicaciones de la programación lógica. Finalmente, se estudian las bases teóricas de la programación lógica.


Material de clase

Temas Transparencias de los temas
Documentación Enlaces con documentación sobre programación lógica
Sistemas Sistemas utilizados