SWI-Prolog
samokosik