upgrade swi-prolog to version 7.1.17