SWI-Prolog
Krolowkol