SWI-Prolog
ronsteel