SWI-Prolog
gareth314