SWI-Prolog
Elmer