testArithGreaterThanEq

Tests the queries

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

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

?- '>='(X,5).

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

?- '>='(2 + floot(1),5).

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