testTermGreaterThan

Tests the queries

?- '@>'(1.0,1).

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

?- '@>'(aardvark,zebra).

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

?- '@>'(short,short).

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

?- '@>'(short,shorter).

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

?- '@>'(foo(b),foo(a)).

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

?- '@>'(foo(a,X),foo(b,Y)).

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