SWI-Prolog
sledov