my exercises in assertion language of ciao prolog