List Decomposition Example
l
Consider a defining equation:
l
[ F | R ] = [1, 2, 3, 4]
l
F
is a variable represents the first element, so:
l
F == 1
l
R
is a variable representing the rest of the
elements, so:
l
R == [2, 3, 4]
l
