Programação lógica explora linguagens e técnicas para representação de conhecimento e resolução de problemas, com ênfase em Prolog e inferência automatizada.

Conceitos formais como unificação, backtracking e estratégias de busca são apresentados com exemplos que ilustram algoritmos e aplicações práticas.

Leitura orientada aos fundamentos teóricos e às práticas de implementação em ambientes baseados em regras, incluindo casos de uso em sistemas declarativos.