Re: swi-prolog