SWI-Prolog
iaroslav_baranov