Mis on loogiline programmeerimine?

Loogiline programmeerimine on programmeerimisparadigma, mis põhineb formaalsel logikal. Programm kirjeldatakse faktide ja reeglite kogumina, mitte käskude jada täitmiseks.

Peamised kontseptsioonid:

• Faktid: väited, mida peetakse tõesteks (näiteks vanem(ivan, pavel)).
• Reeglid: faktide sõltuvuste kirjeldus (näiteks iso( X, Y) :- vanem(X, Z), vanem(Z, Y), mida loetakse kui "X on Y vanem, kui X on Z vanem ja Z on Y vanem").
• Küsimused: küsimused programmile teabe saamiseks (näiteks ?- vanem(ivan, Kes?), "Kes on Ivani lapselaps?").

Programmi täitmise protsess seisneb tõestuse otsimises, mis põhineb antud faktidel ja reeglitel, kasutades järeldusmehhanisme (näiteks resolutsioon).

Kõige tuntum loogilise programmeerimise keel on Prolog.

Rakendused QA-s:

• Nõuete spetsifikatsioon loogilises vormis.
• Automaatne testide genereerimine spetsifikatsioonide põhjal.
• Piirangute ja sõltuvuste analüüs süsteemis.
• Süsteemi omaduste formaalne kontroll.

Prologi näide:

// Faktid
vanem(ivan, pavel).
vanem(pavel, anna).
vanem(ivan, maria).

// Reeglid
iso(X, Y) :- vanem(X, Z), vanem(Z, Y).

// Küsimus
// ? - iso(ivan, Kes?).
// Vastus: Kes = anna.