Lógica de Programação: A Construção de Algoritmos e Estruturas de Dados Por André Luiz Villar Forbellone