SWI-Prolog
markus