SWI-Prolog
rmodesi