SWI-Prolog
SteveMoyle