SWI-Prolog -- indomain/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Enumeration predicates
        
        indomain/1
        
        label/1
        
        labeling/2
- Packages

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

Source

indomain(?Var)

Bind Var to all feasible values of its domain on backtracking. The domain of Var must be finite.