testTermGreaterThanEq

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

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

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