SWI-Prolog
pavujishky