conf-swi-prolog