SWI-Prolog
mathmaster13