SWI-Prolog
cpdean