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