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