Provador lógico para a disciplina de Inteligência Artificial
é necessário importar o presente projeto como um projeto maven no eclipse, e executar a classe Main.
Para gerar o jar, tenha o maven instalado, e rode 'mvn install' na pasta raiz. O jar estará na pasta target, e será o arquivo com o nome 'ia.provador.logico-0.0.1-SNAPSHOT-jar-with-dependencies.jar'.