SWI-Prolog
jfmc