¿Qué es la programación lógica?

La programación lógica es un paradigma de programación basado en la lógica formal. El programa se describe como un conjunto de hechos y reglas, y no como una secuencia de instrucciones para su ejecución.

Conceptos principales:

• Hechos: Afirmaciones que se consideran verdaderas (por ejemplo, padre(ivan, pablo)).
• Reglas: Descripciones de dependencias entre hechos (por ejemplo, abuelo(X, Y) :- padre(X, Z), padre(Z, Y), que se lee como "X es abuelo de Y si X es padre de Z y Z es padre de Y").
• Consultas: Preguntas que se hacen al programa para obtener información (por ejemplo, ?- abuelo(ivan, Quién?), "¿Quién es nieto de Iván?").

El proceso de ejecución del programa consiste en buscar una prueba de la veracidad de la consulta basada en hechos y reglas dadas, utilizando mecanismos de inferencia (por ejemplo, resolución).

El lenguaje de programación lógica más conocido es Prolog.

Aplicaciones en QA:

• Especificaciones de requisitos en forma lógica.
• Generación automática de pruebas basadas en especificaciones.
• Análisis de restricciones y dependencias en el sistema.
• Verificación formal de propiedades del sistema.

Ejemplo en Prolog:

// Hechos
padre(ivan, pablo).
padre(pablo, ana).
padre(ivan, maria).

// Reglas
abuelo(X, Y) :- padre(X, Z), padre(Z, Y).

// Consulta
// ? - abuelo(ivan, Quién?).
// Respuesta: Quién = ana.