swi-prolog 6.6.2/devel 7.1.9