SWI-Prolog
razetime