The standard ordering of prolog terms is given for compare/3.
Success: 1.0 @>= X. (gives X = _g70) 0 @>= 1.0. 0 @>= 0. "ab" @>= "aa". atomb @>= atoma. [a,b] @>= [a|b]. f(1,2,3) @>= f(4,5). longe(1) @>= long(1). a(2) @>= a(1). Fail: X @>= 1. atoma @>= atomb. a(1,2,3) @>= a(1,2,4).