projog

3.27. X>Y - numeric "greater than" test.

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