SWI-Prolog
Ian