f([], [P]).
f([], [P|[]]).