SWI-Prolog
salzer