SWI-Prolog
ptarau