SWI-Prolog
Malo