Sistema usado en "Programación Declarativa" (2003-04)