SWI-Prolog
dutie