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. |
|