SWI-Prolog
richard.siddall