SWI-Prolog
John2003tw