Repositório do código fonte do projecto para a cadeira Programação em Lógica na FEUP - 2013/2014