SWI-Prolog
rjc