Gleichheit (Prolog)

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche

= 

?- X = 2 + 5.
X = 2 + 5

?- 7 = 2 + 5.
No

"=" berechnet nur syntaktische Unifikation

is

?- X is 2 + 5.
X = 7

?- 7 is 2 + 5.
Yes

?- 2 + 5 is 7.
No
Von „http://wiki.infostudium.de/wiki/Gleichheit_(Prolog)“