upgrade swi-prolog to 7.1.17