testTermEq

Tests the queries

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

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

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

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

?- '=='(1,2).

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

?- '=='(X,1).

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

?- '=='(X,Y).

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

?- '=='(_,_).

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

?- '=='(X,a(X)).

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

?- '=='(f(a),f(a)).

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