SWI-Prolog
ericbush