testTermLessThan

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

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

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