Trabalho sobre Prolog da Disciplina de Paradigmas de Programacao