Trabalho de Programação Lógica e Funcional