Co je to logické programování?

Logické programování je paradigma programování založené na formální logice. Program je popsán jako sada faktů a pravidel, nikoliv jako posloupnost instrukcí k provedení.

Hlavní koncepty:

• Fakta: Prohlášení považovaná za pravdivá (například rodič(ivan, pavel)).
• Pravidla: Popis závislostí mezi fakty (například dědeček(X, Y) :- rodič(X, Z), rodič(Z, Y), čteno jako "X je dědeček Y, pokud X je rodič Z a Z je rodič Y").
• Dotazy: Otázky kladené programu za účelem získání informací (například ?- dědeček(ivan, Kdo?), "Kdo je vnukem Ivana?").

Proces provádění programu spočívá v hledání důkazu pravdivosti dotazu na základě daných faktů a pravidel s využitím mechanismů inference (například rezoluce).

Nejznámějším jazykem logického programování je Prolog.

Aplikace v QA:

• Specifikace požadavků v logické formě.
• Automatická generace testů na základě specifikací.
• Analýza omezení a závislostí v systému.
• Formální ověření vlastností systému.

Příklad v Prologu:

// Fakta
rodič(ivan, pavel).
rodič(pavel, anna).
rodič(ivan, maria).

// Pravidla
dědeček(X, Y) :- rodič(X, Z), rodič(Z, Y).

// Dotaz
// ? - dědeček(ivan, Kdo?).
// Odpověď: Kdo = anna.