Succeeds when the number argument X
is less than or equal to the number argument Y
.
Examples
?- 2=<1.
no
?- 2=<2.
yes
?- 2=<3.
yes
?- 3-1=<1.
no
?- 1+1=<4-2.
yes
?- 8/4=<9/3.
yes
?- 1.5=<3.0/2.0.
yes
?- 7=<7.0.
yes
?- 7.0=<7.
yes
?- 7.0=<7.0.
yes
?- 7.5=<7.5.
yes
?- 7.4999=<7.5.
yes
?- 7.5001=<7.5.
no
?- 7=<7.5.
yes
?- 7=<7.0001.
yes
?- 6.9999=<7.
yes
?- 8=<7.5.
no
?- 8=<7.9999.
no
?- 8.0001=<8.
no
?- 9223372036854775806 =< 9223372036854775807.
yes
?- 9223372036854775807 =< 9223372036854775806.
no
?- 9223372036854775807 =< 9223372036854775807.
yes
?- 9223372036854775806 =< 9223372036854775806.
yes
?- -9223372036854775808 =< -9223372036854775807.
yes
?- -9223372036854775807 =< -9223372036854775808.
no
?- -9223372036854775808 =< -9223372036854775808.
yes
?- -9223372036854775807 =< -9223372036854775807.
yes