Projecto feito para a cadeira de Lógica da Programação