exemples et ex1.prolog