testArithEq

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.

?- '=:='(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).

?- 0.333 =:= 1/3.

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