Ce este programarea logică?

Programarea logică este un paradigm de programare bazat pe logică formală. Programul este descris ca un set de fapte și reguli, nu ca o secvență de instrucțiuni pentru execuție.

Concepte principale:

• Fapte: Declarații considerate adevărate (de exemplu, părinte(ivan, pavel)).
• Reguli: Descrieri ale dependențelor între fapte (de exemplu, strămoș(X, Y) :- părinte(X, Z), părinte(Z, Y), citit ca "X este strămoșul lui Y dacă X este părinte de Z și Z este părinte de Y").
• Întrebări: Întrebări adresate programului pentru a obține informații (de exemplu, ?- strămoș(ivan, Cine?), "Cine este nepotul lui Ivan?").

Procesul de execuție al programului constă în căutarea unei dovezi a adevărului întrebării pe baza faptelor și regulilor date, utilizând mecanisme de inferență (de exemplu, rezoluție).

Cel mai cunoscut limbaj de programare logică este Prolog.

Aplicații în QA:

• Specificații de cerințe în formă logică.
• Generarea automată de teste pe baza specificațiilor.
• Analiza restricțiilor și dependențelor în sistem.
• Verificare formală a proprietăților sistemului.

Exemplu în Prolog:

// Fapte
părinte(ivan, pavel).
părinte(pavel, anna).
părinte(ivan, maria).

// Reguli
strămoș(X, Y) :- părinte(X, Z), părinte(Z, Y).

// Întrebare
// ? - strămoș(ivan, Cine?).
// Răspuns: Cine = anna.