append(letters, [a, b, c]).
head(letters, a).
tail(letters, [b]).