SWI-Prolog
jlc