Programación lógica (2002-03)

El curso está dividido en tres partes. En la primera, se presenta una introducción a la programación lógica utilizando Prolog, familiarizando al estudiante con los fundamentos de este paradigma. La segunda parte se centra en los conceptos lógicos clave, como los métodos de tableros semánticos y resolución, implementándolos en Prolog. Finalmente, en la tercera parte, se exploran aplicaciones avanzadas de Prolog, entre las que destacan la construcción de metaintérpretes, el razonamiento con información incompleta y el procesamiento del lenguaje natural.