projog

3.30. X<Y - numeric "less than" test.

Succeeds when the number argument X is less than the number argument Y.

Examples

?- 2<1.

no

?- 2<2.

no

?- 2<3.

yes

?- 3-1<1.

no

?- 1+1<4-2.

no

?- 8/4<9/3.

yes

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

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.

no

?- 9223372036854775806 < 9223372036854775806.

no

?- -9223372036854775808 < -9223372036854775807.

yes

?- -9223372036854775807 < -9223372036854775808.

no

?- -9223372036854775808 < -9223372036854775808.

no

?- -9223372036854775807 < -9223372036854775807.

no