פרק 2: אריתמטיקה

18/3 is 6
6 is 18/3
18/3=6
6=18/3

is(5*5,N).
5*5 is N.
N is *(5,5).
N=5*5.

=<(*(3,4), *(6,2))
3*4 =< 6*2
+(0,1) =:= 1
=:=(0+1, 1)
+(0,1) =:= 1
0+1 =:= 1
+(0,1) =:= 1
1 =:= +(0,1)

כי לא ניתן להשתמש במשתנים בביטויים חשבוניים.
כי לא ידוע מקודם ש- X=1.
כי הביטוי מימין ל-is אינו מאותחל למספר.
כי הביטוי מימין ל-is הוא משתנה.