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

5 Logisches Programmieren
• Bei Ausführung eines SLD-Resolutionsschritts wird der Rumpf an die Stelle des Unterziels
gesetzt, und zwar in der Reihenfolge der Literale in der Programmklausel.
D.h. Prolog benutzt die Tiefensuche, wobei die Rechts-Links-Ordnung durch die Reihenfolge
der Klauseln im Programm und die Reihenfolge der Literale in den Rümpfen definiert
wird.
Beachte, dass der Stack von Literalen die Selektionsfunktion festlegt, und daher nicht die
Vollständigkeit des Verfahrens ändert. Die Reihenfolge der Programmklauseln zu verwenden
entspricht jedoch gerade der Tiefensuche, die – wie wir bereits gesehen haben – unvollständig
ist. Der Grund hierfür ist praktischer Natur: Zum einen kann die Tiefensuche in
vielen Fällen schneller sein, als die Breitensuche, und zum anderen verbraucht sie bekanntlich
viel weniger Platz.
Aus Sicht der Prologgemeinde ist daher der Programmierer dafür verantwortlich die
Programmklauseln entsprechend in einer Reihenfolge anzuordnen, so dass die Nichtterminierung
nicht eintritt. Im Grunde widerspricht dies dem großen Ziel der deklarativen
Programmierung, welches fordert, dass im Programm nur zu spezifizieren ist, was berechnet
werden soll, aber nicht genau wie. Um Nichtterminierung zu vermeiden, muss der
Prolog-Programmierer jedoch die Hintergründe kennen und durch Anordnung der Programmklauseln
auch zum Teil das Wie spezifizieren.
5.3.1 Syntaxkonventionen von Prolog
Namen können aus Großbuchstaben, Kleinbuchstaben, Ziffern und _ (Unterstrich) gebildet
werden, oder nur aus Sonderzeichen.
Konstanten sind Namen, die mit Kleinbuchstaben beginnen;
Variablen sind Namen, die mit Großbuchstaben oder mit einem Unterstrich _ beginnen.
Der Unterstrich alleine _ ist der Name einer anonymen Variablen (wildcard, joker, Leerstelle).
Zusammengesetzte Terme (komplexe Terme) haben die Form
F unctor(component 1 , . . . , component n )
Die Stelligkeit des Funktors ist nicht variabel. Verwendet man den gleichen Namen mit
verschiedener Stelligkeit, so werden diese Vorkommen als verschiedene Objekte interpretiert.
Funktoren, die auf oberster Ebene stehen, nennt man auch Prädikate. Z.B.
besitzt(peter, buch(lloyd, prolog)).
5.3.2 Beispiele zu Prologs Tiefensuche
Wir betrachten zunächst ein einfaches Beispiel, dass auf dem schon eingeführten Programm
basiert.
Stand: 7. Januar 2013 162 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13