Trabalho do Paradigma Lógico - Disciplina de Paradigmas de Programação