SWI-Prolog
rogersm