SWI-Prolog -- fd_sup/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Reflection predicates
        
        fd_var/1
        
        fd_inf/2
        
        fd_sup/2
        
        fd_size/2
        
        fd_dom/2
        
        fd_degree/2
- Packages

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

Source

fd_sup(+Var, -Sup)

Sup is the supremum of the current domain of Var.