To combine two lists to form a third list, use
append(Prefix, Suffix, 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 partly uninstantiated.
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