Answer to Question s2-4
Notation.
It should say head(
L
)
:
successors(tail(
L
)).