swi-prolog devel 6.5.3