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:
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).
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).