SWI-Prolog
andrii