SWI-Prolog
Gregory-Gelfond