Sistemas
Clisp
SWI-Prolog