testArithLessThanEq

Tests the queries

?- '=<'(0,1).

succeeds on a solver initialized with default built-ins and with and empty theory.

?- '=<'(1.0,1).

succeeds on a solver initialized with default built-ins and with and empty theory.

?- '=<'(3*2,7-1).

succeeds on a solver initialized with default built-ins and with and empty theory.

?- '=<'(N,5).

fails on a solver initialized with default built-ins and with and empty theory. producing exception instantiation_error.

?- '=<'(floot(1),5).

fails on a solver initialized with default built-ins and with and empty theory. producing exception type_error(evaluable, floot/1).