SWI-Prolog
szeredi