To combine two lists to form a third list, use
append(Head, Tail, List).
To analyze a list into its component lists in various ways, use
append/3 with List instantiated to a proper list. The
reference page for
append/3 includes examples of its usage,
To check the length of a list call
To produce a list of a certain length, use
Length instantiated and List uninstantiated or
instantiated to a list whose tail is a variable.
To check if a term is the element of a list, use
To enumerate the elements of a list via backtracking, use
To check that a term is NOT the element of a list, use
which is equivalent to