f(A, B).
f(A, [B,C]).
f(A, [B|C]).