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