Informatikmaterialien
von Tino Hempel

	Richard-Wossidlo-Gymnasium Ribnitz-Damgarten Fachbereich Informatik

Arithmetik in PROLOG

PROLOG ist nicht die Programmiersprache, um umfangreiche wissenschaftliche Berechnungen zu programmieren. Dennoch sind die grundlegenden Berechnungen und Vergleiche möglich und für die Lösung von logischen Problemen nutzbar.

Grundrechenoperationen

PROLOG kennt die Grundrechenoperationen und bietet die übliche Syntax an:

Schreibweise Operation

X + Y Addition

X - Y Subtration

X * Y Multiplikation

X / Y Division

X mod Y Rest der ganzzahligen Division

Das Ergebnis einer Rechenoperation muss stets einer Variablen übergeben werden. Diese Aufgabe vollzieht der is-Operator.

Auswertungsoperator – is-Operator

Anfrage Antwort Bemerkung

?- 24 is 21 + 3. yes is wertet den rechten Ausdruck aus und vergleicht ihn mit der linken Seite

?- 2 is 21 + 3. no

?- X is 7 + 3. X = 10 is wertet den rechten Ausdruck aus weist das Ergebnis der Variablen links zu

?- X = 7 + 3. X = 7 + 3. Gleichheitszeichen dient nur Vergleichen

?- X is Y + 1. Fehlermeldung – Y ist nicht gebunden rechts von is müssen alle Variablen gebunden sein

?- 1 + 2 is Y. Fehlermeldung – Y ist nicht gebunden Zuweisungsvariable steht stets links, arithmetischer Ausdruck rechts

?- X = vier, E is X + 3. Fehlermeldung bzw. no auf der rechten Seite muss ein numerischer Wert stehen

Vergleichsoperatoren

Schreibweise Operation

X =:= Y numerisch gleich

X =\= Y numerisch ungleich

X < Y X kleiner als Y

X > Y X größer als Y

X =< Y X kleiner gleich Y

X >= Y X größer gleich Y

Man beachte den Unterschied zu den Term-Vergleichsoperatoren:

Schreibweise Operation

X = Y unifizierbar

X \= Y nicht unifizierbar

X == Y identisch mit

X \== Y nicht identisch mit

Der Auswertungsoperator heißt "is".

Bei Vergleichen müssen alle Variablen belegt sein.

Ist in "X is numerischer_term" die Variable X frei, so wird X mit dem numerischen Wert von Term gebunden.

Aufgaben lt. LB. S. 35ff und 45ff.

zur Startseite

Im Web vertreten seit 1994.
Eine Internet-Seite aus dem Angebot von Tino Hempel.
Für alle Seiten gilt der

Haftungsausschluss/Disclaimer.

Schreibweise	Operation
X + Y	Addition
X - Y	Subtration
X * Y	Multiplikation
X / Y	Division
X mod Y	Rest der ganzzahligen Division

Anfrage	Antwort	Bemerkung
?- 24 is 21 + 3.	yes	is wertet den rechten Ausdruck aus und vergleicht ihn mit der linken Seite
?- 2 is 21 + 3.	no
?- X is 7 + 3.	X = 10	is wertet den rechten Ausdruck aus weist das Ergebnis der Variablen links zu
?- X = 7 + 3.	X = 7 + 3.	Gleichheitszeichen dient nur Vergleichen
?- X is Y + 1.	Fehlermeldung – Y ist nicht gebunden	rechts von is müssen alle Variablen gebunden sein
?- 1 + 2 is Y.	Fehlermeldung – Y ist nicht gebunden	Zuweisungsvariable steht stets links, arithmetischer Ausdruck rechts
?- X = vier, E is X + 3.	Fehlermeldung bzw. no	auf der rechten Seite muss ein numerischer Wert stehen

Schreibweise	Operation
X =:= Y	numerisch gleich
X =\= Y	numerisch ungleich
X < Y	X kleiner als Y
X > Y	X größer als Y
X =< Y	X kleiner gleich Y
X >= Y	X größer gleich Y

Schreibweise	Operation
X = Y	unifizierbar
X \= Y	nicht unifizierbar
X == Y	identisch mit
X \== Y	nicht identisch mit