Trabalho de lógica da UFAL, 2012.2