SWI-Prolog -- compare/3

Documentation
- Reference manual
  - Built-in Predicates
    - Comparison and Unification of Terms
      - Standard Order of Terms
        
        ==/2
        
        \==/2
        
        @</2
        
        @=</2
        
        @>/2
        
        @>=/2
        
        compare/3
- Packages

Availability:built-in

[ISO]compare(?Order, @Term1, @Term2)

Determine or test the Order between two terms in the standard order of terms. Order is one of <, > or =, with the obvious meaning.