|
פעולות השוואה בין מספרים שלמים (גדול מ-, שונה מ-, וכולי) מתבצעות בפרולוג באמצעות מתארים מיוחדים, ללא is.
ההשוואה מתבצעת לאחר שהביטויים משני צדדי סימן ההשוואה מחושבים. לכן ניתן לבצע את השאילתות הבאות:
?- 9+2 > *(1,9).
Yes
?- 9+2 =:= 11.
Yes
כמו משתנים בפעולות חשבון, גם משתנים בפעולות השוואה צריכים להיות מאותחלים למספרים שלמים לפני ביצוע ההשוואה. בדוגמאות הבאות, ההשוואה הראשונה נכשלת כי למשתנה X אין ערך בעת ביצוע ההשוואה, ואילו ההשוואה השנייה נכשלת משום שערכו מאותחל לאטום ולא למספר:
?- X =< 9+2.
ERROR: Arguments are not sufficiently instantiated
?- X = harry, X =< 9+2.
ERROR: Arithmetic: `harry/0' is not a function
|
