Cos'è la programmazione logica?

La programmazione logica è un paradigma di programmazione basato sulla logica formale. Il programma è descritto come un insieme di fatti e regole, e non come una sequenza di istruzioni per l'esecuzione.

Concetti principali:

• Fatti: Affermazioni considerate vere (ad esempio, genitore(ivan, pavel)).
• Regole: Descrizioni delle dipendenze tra fatti (ad esempio, nonno(X, Y) :- genitore(X, Z), genitore(Z, Y), letto come "X è nonno di Y se X è genitore di Z e Z è genitore di Y").
• Query: Domande poste al programma per ottenere informazioni (ad esempio, ?- nonno(ivan, Chi?), "Chi è nipote di Ivan?").

Il processo di esecuzione del programma consiste nel cercare una prova della verità della query basata sui fatti e regole dati, utilizzando meccanismi di inferenza (ad esempio, risoluzione).

Il linguaggio di programmazione logica più noto è Prolog.

Applicazioni in QA:

• Specifiche dei requisiti in forma logica.
• Generazione automatica di test basati sulle specifiche.
• Analisi delle restrizioni e delle dipendenze nel sistema.
• Verifica formale delle proprietà del sistema.

Esempio in Prolog:

// Fatti
genitore(ivan, pavel).
genitore(pavel, anna).
genitore(ivan, maria).

// Regole
nonno(X, Y) :- genitore(X, Z), genitore(Z, Y).

// Query
// ? - nonno(ivan, Chi?).
// Risposta: Chi = anna.