SWI-Prolog
JamesH