Sistemas usados en "Programación Declarativa" (99-00)