SWI-Prolog
gitshub