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

5.3 Implementierung logischer Programmiersprachen: Prolog
Bevor wir einige dieser Einschränkungen und Erweiterungen betrachten, führen wir
zunächst eine wichtige Konstrukte und Prinzipien zur Prolog-Programmierung ein.
5.3.3 Arithmetische Operationen
Die Zeichen +, −, ∗, / sind erlaubt.
Ausdrücke der Form a ∗ b + c sind zunächst lesbare Abkürzungen für den Term
+(∗(a, b), c). Hier kann zur Darstellung abhängig von der Prolog-Implementierung Infix,
Postfix, Präfix, Assoziativität, Priorität benutzt werden.
Zahlen sind erlaubt und als Standard in Prolog implementiert. Der Zahlbereich ist abhängig
von der Implementierung.
Das Spezialprädikat = (Gleichheit) kann definiert werden durch
X = X.
Z.B.
?- besitzt(peter, X) = besitzt(peter,buch(lloyd,prolog))
yes; X = buch(lloyd,prolog)
Diese Operation der Berechnung der Instanzen von Variablen wird mittels Unifikation
durchgeführt.
Beachte, dass diese Gleichheit jedoch nicht wahr wird für 1+1 = 2, da 1+1 als syntaktischer
Term aufgefasst wird, der anders aussieht, als der Term (die Konstante) 2.
Prolog stellt neben diesem Gleichheitstest auch weitere Gleichheitstests und arithmetische
Vergleiche zur Verfügung, die jedoch anders wirken:
= Syntaktische Gleichheit (Unfikation erlaubt)
=:= Wertgleichheit, die Argumente werden zu Zahlen ausgewertet und dürfen
keine Variablen enthalten
=/= Wertungleichheit
< kleiner als Wertgleichheit
> größer als Wertgleichheit
=< kleiner gleich als Wertgleichheit
>= größer gleich als Wertgleichheit
Außer bei der syntaktischen Gleichheit mit Unifikation =, muss für alle anderen Operationen
gelten: Wenn exp1 op exp2 ausgewertet wird, müssen exp1 und exp2 zu einer
Zahl auswertbar sein. Beachte:
3 + 4 = 7 ergibt: no
3 + 4 =:= 7 ergibt yes
Wir testen weitere Beispiele im Prolog-Interpreter:
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 165 Stand: 7. Januar 2013