testArithDiff

Tests the queries

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

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

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