SWI-Prolog
keithgell