List Decomposition Notation
lWhen a list is
non-empty, it has a first element and the rest of the
elements form a list.
lThe general form of a non-empty list will be represented:
lThe general form of a non-empty list will be represented:
[ F | R ]
Here F is a variable
represents the first element, and R is a variable representing the rest of the elements (R has a list as its value, even though brackets arenŐt around R).