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