Programación lógica (2004-05)

Este curso consta de dos partes. La primera parte es una introducción a la programación lógica con Prolog. En la segunda parte, se estudian diversas aplicaciones de la programación lógica, como la resolución de problemas en espacios de estados, el procesamiento del lenguaje natural, la construcción de metaintérpretes para ingeniería del conocimiento, la programación con restricciones, la formalización de la lógica proposicional y el aprendizaje automático.