SWI-Prolog
hardmath