Fichero necesario para la práctica 4:

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: 10 de enero de 2000