Sistemas usados en "Lógica y programación" (Curso 99-00)