
ordered(++Relation, +List)

   Constrains List to be ordered according to Relation

Arguments
   Relation            One of the atoms <, =<, >, >=, =
   List                List of integers or domain variables

Type
   library(ic_global)

See Also
   lexico_le / 2, ordered_sum / 2, sorted / 2
