SWI-Prolog
maelh