SWI-Prolog -- lex_chain/1

A.9.17.4 Global constraints

All Application Manual Name SummaryHelp

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

lex_chain(+Lists)

Lists are lexicographically non-decreasing.