SWI-Prolog
guregu