Czym jest programowanie logiczne?

Logiczne programowanie jest paradygmatem programowania opartym na logice formalnej. Program jest opisywany jako zbiór faktów i reguł, a nie jako sekwencja instrukcji do wykonania.

Główne koncepcje:

• Fakty: Twierdzenia uznawane za prawdziwe (np. rodzic(ivan, pavel)).
• Reguły: Opisy zależności między faktami (np. dziadek(X, Y) :- rodzic(X, Z), rodzic(Z, Y), czytane jako "X jest dziadkiem Y, jeśli X jest rodzicem Z, a Z jest rodzicem Y").
• Zapytania: Pytania zadawane programowi w celu uzyskania informacji (np. ?- dziadek(ivan, Kto?), "Kto jest wnukiem Ivana?").

Proces wykonania programu polega na poszukiwaniu dowodu prawdziwości zapytania na podstawie podanych faktów i reguł, z użyciem mechanizmów wnioskowania (np. rezolucji).

Najbardziej znanym językiem programowania logicznego jest Prolog.

Zastosowania w QA:

• Specyfikacje wymagań w formie logicznej.
• Automatyczne generowanie testów na podstawie specyfikacji.
• Analiza ograniczeń i zależności w systemie.
• Formalna weryfikacja właściwości systemu.

Przykład w Prolog:

// Fakty
rodzic(ivan, pavel).
rodzic(pavel, anna).
rodzic(ivan, maria).

// Reguły
dziadek(X, Y) :- rodzic(X, Z), rodzic(Z, Y).

// Zapytanie
// ? - dziadek(ivan, Kto?).
// Odpowiedź: Kto = anna.