Este curso es una introducción de a la programación declarativa a través de la programación lógica. En el plan de la asignatura se encuentra más información.