swi-prolog 6.6.4, 7.1.10