- Introdução à Programação Lógica: explica a filosofia declarativa do Prolog, onde se descrevem relações em vez de algoritmos imperativos.
- Sintaxe e Semântica Básica: termos, predicados, variáveis, listas e recursão.
- Resolução e Backtracking: como o Prolog encontra soluções explorando o espaço de busca.
Exemplos Didáticos: pequenos programas para manipulação de listas, árvores e problemas matemáticos.