O que é programação lógica?

A programação lógica é um paradigma de programação baseado na lógica formal. O programa é descrito como um conjunto de factos e regras, e não como uma sequência de instruções para execução.

Conceitos principais:

• Factos: Afirmativas consideradas verdadeiras (por exemplo, pai(ivan, pavel)).
• Regras: Descrição de dependências entre factos (por exemplo, avô(X, Y) :- pai(X, Z), pai(Z, Y), que se lê como "X é avô de Y se X é pai de Z e Z é pai de Y").
• Consultas: Perguntas feitas ao programa para obter informações (por exemplo, ?- avô(ivan, Quem?), "Quem é neto de Ivan?").

O processo de execução do programa consiste em procurar uma prova da veracidade da consulta com base nos factos e regras fornecidos, usando mecanismos de inferência (por exemplo, resolução).

A linguagem de programação lógica mais conhecida é o Prolog.

Aplicações em QA:

• Especificações de requisitos em forma lógica.
• Geração automática de testes com base nas especificações.
• Análise de restrições e dependências no sistema.
• Verificação formal de propriedades do sistema.

Exemplo em Prolog:

// Factos
pai(ivan, pavel).
pai(pavel, ana).
pai(ivan, maria).

// Regras
avô(X, Y) :- pai(X, Z), pai(Z, Y).

// Consulta
// ? - avô(ivan, Quem?).
// Resposta: Quem = ana.