projog

3.28. X>=Y - numeric "greater than or equal" test.

Succeeds when the number argument X is greater than or equal to the number argument Y.

Examples

?- 2>=1.

yes

?- 2>=2.

yes

?- 2>=3.

no

?- 3-1>=1.

yes

?- 1+1>=4-2.

yes

?- 8/4>=9/3.

no

?- 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.

no

?- 7.5001>=7.5.

yes

?- 7>=7.5.

no

?- 7>=7.0001.

no

?- 6.9999>=7.

no

?- 8>=7.5.

yes

?- 8>=7.9999.

yes

?- 8.0001>=8.

yes

?- 9223372036854775806 >= 9223372036854775807.

no

?- 9223372036854775807 >= 9223372036854775806.

yes

?- 9223372036854775807 >= 9223372036854775807.

yes

?- 9223372036854775806 >= 9223372036854775806.

yes

?- -9223372036854775808 >= -9223372036854775807.

no

?- -9223372036854775807 >= -9223372036854775808.

yes

?- -9223372036854775808 >= -9223372036854775808.

yes

?- -9223372036854775807 >= -9223372036854775807.

yes