SWI-Prolog -- element/3

A.9.17.4 Global constraints

AllApplicationManualNameSummaryHelp

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Global constraints
        
        all_distinct/1
        
        all_different/1
        
        sum/3
        
        scalar_product/4
        
        lex_chain/1
        
        tuples_in/2
        
        serialized/2
        
        element/3
        
        global_cardinality/2
        
        global_cardinality/3
        
        circuit/1
        
        cumulative/1
        
        cumulative/2
        
        disjoint2/1
        
        automaton/3
        
        automaton/8
        
        chain/2
- Packages

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

Source

element(?N, +Vs, ?V)

The N-th element of the list of finite domain variables Vs is V. Analogous to nth1/3.