SWI-Prolog
JeffRose