testArithGreaterThan

Tests the queries

?- '>'(0,1).

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

?- '>'(1.0,1).

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

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

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