Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

5 Logisches Programmieren
Im Prolog-Interpreter gibt man einfach B 1 , . . . , B n . ein, der Prompt selbst repräsentiert das
⇐ (der üblicherweise als ?- dargestellt wird).
• Eine Unit-Klausel (oder Fakt) ist eine definite Klausel mit leerem Rumpf. Notation in der
logischen Programmierung ist A ⇐. In Prolog wird der ⇐ weggelassen, d.h. man schreibt
einfach A.
• Ein definites Programm ist eine Menge von definiten Klauseln.
• Die Menge aller Klauseln, deren Kopfliteral das Prädikat Q hat, nennen wir Definition von
Q.
Ein definites Programm entspricht einer Und-Verknüpfung aller definiten Klauseln. Beachte,
dass jede Hornklausel entweder eine definite Klausel oder ein definites Ziel ist.
Wir geben die Elternbeziehungen vom Anfang als Prolog-Programm an:
vater(peter,maria).
vater(peter,monika).
vater(karl, peter).
vater(karl, pia).
vater(karl, paul).
mutter(susanne,monika).
mutter(susanne,maria).
mutter(elisabeth, peter).
mutter(elisabeth, pia).
mutter(elisabeth, paul).
eltern(X,Y) :-
eltern(X,Y) :-
vater(X,Y).
mutter(X,Y).
Wenn man dieses Prolog-Programm in den Interpreter lädt 1 , kann man Anfragen
durchführen. Beachte: Nachdem Ausdrucken der ersten möglichen Antwort, kann man
ein Semikolon eingeben, um nach weiteren Antworten zu suchen. Wir führen dies mit
einigen Beispielen vor:
?- eltern(karl,X).
X = peter ;
X = pia ;
X = paul ;
false.
?- eltern(karl,x).
false.
?- eltern(peter,X).
1 Wir verwenden SWI-Prolog (http://www.swi-prolog.org/), das Laden wird über consult(’filename’).
ausgeführt werden, wenn filename.pl das Programm enthält.
Stand: 7. Januar 2013 156 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13