projog

3.31. X=<Y - numeric "less than or equal" test.

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