SWI-Prolog
jbsiddall