Was ist logische Programmierung?

Die logische Programmierung ist ein Programmierparadigma, das auf formaler Logik basiert. Das Programm wird als eine Menge von Fakten und Regeln beschrieben, nicht als eine Abfolge von Anweisungen zur Ausführung.

Hauptkonzepte:

• Fakten: Aussagen, die als wahr gelten (z.B. eltern(ivan, pavel)).
• Regeln: Beschreibungen von Abhängigkeiten zwischen Fakten (z.B. großvater(X, Y) :- eltern(X, Z), eltern(Z, Y), gelesen als "X ist Großvater von Y, wenn X Elternteil von Z ist und Z Elternteil von Y ist").
• Anfragen: Fragen, die an das Programm gestellt werden, um Informationen zu erhalten (z.B. ?- großvater(ivan, Wer?), "Wer ist Enkel von Ivan?").

Der Ausführungsprozess des Programms besteht darin, einen Beweis für die Wahrheit der Anfrage basierend auf den gegebenen Fakten und Regeln zu suchen, unter Verwendung von Schlussmechanismen (z.B. Resolution).

Die bekannteste Sprache der logischen Programmierung ist Prolog.

Anwendungen in QA:

• Anforderungspezifikationen in logischer Form.
• Automatische Generierung von Tests basierend auf Spezifikationen.
• Analyse von Einschränkungen und Abhängigkeiten im System.
• Formale Verifikation von Systemeigenschaften.

Beispiel in Prolog:

// Fakten
eltern(ivan, pavel).
eltern(pavel, anna).
eltern(ivan, maria).

// Regeln
großvater(X, Y) :- eltern(X, Z), eltern(Z, Y).

// Anfrage
// ? - großvater(ivan, Wer?).
// Antwort: Wer = anna.