SWI-Prolog -- label/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

label(+Vars)

Equivalent to labeling([], Vars). See labeling/2.