Kas yra loginis programavimas?

Loginoginė programavimas yra programavimo paradigma, pagrįsta formalioje logikoje. Programa apibūdinama kaip faktų ir taisyklių rinkinys, o ne kaip instrukcijų seka vykdymui.

Pagrindinės sąvokos:

• Faktai: teiginiai, laikomi teisingais (pavyzdžiui, tėvas(ivan, pavel)).
• Taisyklės: faktų priklausomybės aprašymas (pavyzdžiui, senelis(X, Y) :- tėvas(X, Z), tėvas(Z, Y), skaitoma kaip "X yra Y senelis, jei X yra Z tėvas ir Z yra Y tėvas").
• Užklausos: klausimai programai, siekiant gauti informaciją (pavyzdžiui, ?- senelis(ivan, Kas?), "Kas yra Ivano anūkas?").

Programos vykdymo procesas yra faktų ir taisyklių pagrindu ieškoti įrodymo užklausos teisingumui, naudojant išvadų mechanizmus (pavyzdžiui, rezoliuciją).

Žinomiausia loginio programavimo kalba yra Prolog.

Taikymas QA:

• Reikalavimų specifikacijos loginėje formoje.
• Automatinis testų generavimas pagal specifikacijas.
• Apribojimų ir priklausomybių analizė sistemoje.
• Formalus sistemos savybių tikrinimas.

Prolog pavyzdys:

// Faktai
tėvas(ivan, pavel).
tėvas(pavel, ana).
tėvas(ivan, marija).

// Taisyklės
senelis(X, Y) :- tėvas(X, Z), tėvas(Z, Y).

// Užklausa
// ? - senelis(ivan, Kas?).
// Atsakymas: Kas = ana.