Proyecto final de Programación Declarativa Avanzada.