Linguagens de programação lógica exploram a expressão de programas por meio de regras e fatos, com ênfase em Prolog e suas variantes.

O texto discute semânticas declarativas, resolução por unificação e mecanismos de backtracking, apresentando conceitos teóricos e aspectos de implementação.

Aplicações incluem representação de conhecimento, sistemas especialistas e resolução de restrições, com exemplos que conectam teoria a casos de uso práticos.