SWI-Prolog -- #>= / 2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Arithmetic constraints
        
        #=/2
        
        #\=/2
        
        #>=/2
        
        #=</2
        
        #>/2
        
        #</2
- Packages

Availability::- use_module(library(clpfd)).

?X #>= ?Y

Same as Y #=< X. When reasoning over integers, replace (>=)/2 by #>=/2 to obtain more general relations. See declarative integer arithmetic (section A.8.3).