A Lógica é essencial em diversas áreas do conhecimento, como biologia, direito, medicina, economia e informática. Este livro aborda os fundamentos da lógica clássica proposicional e de 1ª ordem, introduzindo a programação em Prolog. Além disso, apresenta métodos computacionais para prova e sistemas semânticos. Destaca-se a combinação de Lógica e Informática, com exemplos de representação do conhecimento em inteligência artificial e programação declarativa. Este livro, escrito por um informático, é indicado para estudantes da área.