Introdução acessível aos fundamentos da lógica e das linguagens declarativas, com exemplos nos paradigmas funcional e lógico. Inclui conceitos formais e exercícios pensados para apoiar cursos em linguagens funcionais e em lógica.

Aborda semânticas de programas e mecanismos de avaliação em linguagens declarativas, oferecendo ilustrações de execução e resolução. Discute correspondências entre formulações lógicas e construções de linguagem de programação.

Material indicado para uso em disciplinas que tratam programação declarativa e lógica, com foco em clareza conceitual e exemplos práticos. Formato voltado à leitura técnica e ao acompanhamento de aulas em língua inglesa.