Meta-programação aplicada à programação lógica aborda técnicas para gerar e transformar programas lógicos, com exemplos práticos em Prolog e discussões sobre reflexividade e metadados.

Com foco em inferência e execução dinâmica de regras, apresenta abordagens para manipulação de cláusulas, metainterpretação e modelos de verificação de comportamento.

Leitura orientada a quem procura recursos conceituais e operacionais sobre metaprogramação em ambientes lógicos, incluindo exemplos de transformação automática de programas e aplicação em ferramentas de desenvolvimento.