SWI-Prolog
kromanov