SWI-Prolog
bolotnikoff