The standard ordering of prolog terms is given for compare/3.
Success: 0.0 @> X. (gives X = _g70) 0 @> 0.0. 0 @> 1.0. atomb @> atoma. [a,b] @> [a|b]. f(1,1) @> f(1). b(1) @> a(1). a(1,1,1,2) @> a(1,1,1,1). Fail: X @> 1.0. atom @> atom. [a|X] @> [a,b,c,d]. a(1) @> a(2).