
element(?Index, ++List, ?Value)

   Value is the Index'th element of List

Arguments
   Index               integer variable or integer
   List                list of domain values
   Value               domain variable or value

Type
   library(ic_symbolic)

Description

	Constrains its arguments such that Value is the Index'th member
	of List.  This is implemented by mapping onto ic:element/3.
	All list elements and Value must be variables or values of the
	same domain.  If one or more of them are domain-less, they will
	be given the same domain as the others.


Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   ic : element / 3
