SWI-Prolog
jasonhemann