See also the built-in predicates length/2
and append/3
, which
can be used to find the length of a proper list or to construct a
proper list of a given length, and append(
*Head, *Tail,
*List)
, which is used to combine lists and take lists apart.