lThe valid rule set:
reverse([ ]) => [ ];
reverse([E | L]) => append(reverse(L), [E]);
lis
called na•ve reverse:
lItŐs the first reverse coded by the inexperienced.
lItŐs not tail recursive.
lItŐs
slow: takes an extra factor of length(L) steps to evaluate.