SWI-Prolog
anton.danilov