Fichero necesario para el examen:

Miguel A. Gutiérrez Naranjo
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Programación declarativa (Curso 99-00)
Última modificación: 7 de febrero de 2000