Konzepte h¨oherer Programmiersprachen (Entwurf) - WSI ...

38 3.3 relational
3.3 Das relationale Paradigma
Manche Autoren bezeichnen dieses als das eigentlich deklarative Paradigma und setzen
dies in Kontrast zum funktionalen Paradigma. Die Charakteristika des relationalen
Programmierparadigmas sind (Justice u. a. 1994):
• Der Programmierer spezifiert, welche Fragen er gelöst sehen möchte, aber nicht,
wie sie gelöst werden sollen 15 .
• Es gibt keine Berechnung im klassischen Sinne: gebundene Parameter in einem
Ausdruck stellen Eingaben dar, ungebundene Parameter Ausgaben.
• Die Programmausführung wird als Ableitungs- bzw. Beweisprozeß gesehen: Der
Programmierer gibt Behauptungen ein; diese werden vom System verifiziert oder
falsifiziert bzw. es werden die Bedingungen angegeben, unter denen die Behauptung
wahr ist.
Prominentester Vertreter dieser Klasse von Programmiersprachen ist Prolog (Clocksin
und Mellish 1990).
Beispiel Wenn wir eine dreistellige Relation (ein Prädikat) add(X, Y, Z)
(überflüssigerweise) rekursiv entsprechend der primitiv-rekursiven Definition
der Addition definieren, so daß add(X, Y, Z) wahr ist gdw. X + Y = Z, so
können wir dies sowohl zum Ausrechnen als auch zum Nachrechnen und sogar
zur Subtraktion verwenden, je nachdem wie wir die Parameter besetzen: ( ” ?-“ ist
der Prolog-Prompt)
✞ ☎
?− add ( 3 , 4 ,X ) .
X=7
yes
?− add ( 3 , 4 , 7 ) .
yes
?− add ( 3 , 4 , 9 ) .
no
?− add ( 3 ,X , 7 ) .
X=4
yes
?− add (X , 4 , 7 ) .
X=3
yes
✝ ✆
Die Eingabe add(3,4,X) bedeutet nach der Prolog-Ideologie nicht die Frage: ” Für
welches x gilt 3 + 4 = x?“, sondern vielmehr die Behauptung: ” 3 + 4 = x.“ Das
System beantwortet diese mit: ” Jawohl, die Behauptung stimmt, wenn wir x = 7
setzen.“ Auch eine Anfrage wie
✞ ☎
?− add (X , Y , 7 ) .
✝ ✆
15 Die Lösung ist in einem allgemeinen Inferenzmechanismus enthalten, den der Programmierer aller-
dings vernünftigerweise kennen sollte.
kopara.pdf