Now working in SWI Prolog