swi-prolog 6.4.1/6.5.0