Tests whether the first argument precedes the second argument (Term less than).
see also: @> @>= == @=< \== term precedence
info@trinc-prolog.com