Programas do primeiro projeto da disciplina de Lógica para Computação do CIn/UFPE no período 2014.1