Qu'est-ce que la programmation logique?

La programmation logique est un paradigme de programmation basé sur la logique formelle. Le programme est décrit comme un ensemble de faits et de règles, et non comme une séquence d'instructions pour l'exécution.

Concepts principaux:

• Faits: Affirmations considérées comme vraies (par exemple, parent(ivan, pavel)).
• Règles: Description des dépendances entre faits (par exemple, grandparent(X, Y) :- parent(X, Z), parent(Z, Y), lu comme "X est grand-parent de Y si X est parent de Z et Z est parent de Y").
• Requêtes: Questions posées au programme pour obtenir des informations (par exemple, ?- grandparent(ivan, Qui?), "Qui est petit-enfant d'Ivan?").

Le processus d'exécution consiste à rechercher une preuve de la véracité de la requête basée sur les faits et règles donnés, en utilisant des mécanismes d'inférence (par exemple, résolution).

Le langage de programmation logique le plus connu est Prolog.

Applications en QA:

• Spécifications des exigences sous forme logique.
• Génération automatique de tests à partir des spécifications.
• Analyse des contraintes et dépendances dans le système.
• Vérification formelle des propriétés du système.

Exemple en Prolog:

// Faits
parent(ivan, pavel).
parent(pavel, anna).
parent(ivan, maria).

// Règles
grandparent(X, Y) :- parent(X, Z), parent(Z, Y).

// Requête
// ? - grandparent(ivan, Qui?).
// Réponse: Qui = anna.