testTermDiff

Tests the queries

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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