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.