pred([H|T], L) :- append(H, L, L),pred(T,L). pred([], _).