Eu estou apenas começando o meu 5º período na faculdade e me sinto especialmente motivado a continuar meu curso, apesar de dois de meus períodos não terem sido tão bons quanto eu gostaria. Essa motivação se deu em parte por uma matéria que fiz no penúltimo semestre: Lógica para Computação.
Nessa matéria, nós aprendemos coisas bastante familiares sobre lógica, como o que se chama de lógica proposicional - coisa com que concurseiros já estão familiarizados - e alguns assuntos mais avançados, como a lógica de predicados e o PROLOG, a "programação lógica". De início, eu pensei que seria uma matéria parecida com outra que tive logo quando entrei na universidade, porque havia uma grande interseção nas duas. Mas da metade pro fim, a lógica para computação tomou um caminho menos matemático e mais conceitual. A segunda e última prova podia ser inteiramente feita em Prolog, e deveria ser feita em casa e enviada para o professor no prazo de uma semana. Então, eu teria sete dias para aprender a linguagem (já que eu tinha o péssimo hábito de não frequentar as aulas) e resolver os problemas da prova.
