swi-prolog changes