testTermLessThanEq

Tests the queries

?- '@=<'(1.0,1).

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

?- '@=<'(aardvark,zebra).

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

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

?- '@=<'(foo(b),foo(a)).

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

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