Sistemas usados en "Lógica y programación" (Curso 99-00)
Clisp
SWI-Prolog
Otter y Mace