Re: [PPL-devel] gprolog 1.5.0