Succeeds when the number argument X
is greater than the number argument Y
.
Examples
?- 2>1.
yes
?- 2>2.
no
?- 2>3.
no
?- 3-1>1.
yes
?- 1+1>4-2.
no
?- 8/4>9/3.
no
?- 1.5>3.0/2.0.
no
?- 7>7.0.
no
?- 7.0>7.
no
?- 7.0>7.0.
no
?- 7.5>7.5.
no
?- 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.
no
?- 9223372036854775806 > 9223372036854775806.
no
?- -9223372036854775808 > -9223372036854775807.
no
?- -9223372036854775807 > -9223372036854775808.
yes
?- -9223372036854775808 > -9223372036854775808.
no
?- -9223372036854775807 > -9223372036854775807.
no