Answer to Question s2-12
Notation.
Say successors(
L
) = head(
L
)
:
successors(tail(
L
)).