SWI-Prolog
pdprolog