Re: Ciao version in ciao_prolog.hh