SWI-Prolog
Rex