prolog exerc..