Programación lógica (2004-05)

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
Enlace a la página del curso anterior.