Qu-prolog 4.3 reference manual