Exercicio de Prolog.