SWI-Prolog
hansvas