append([],L,L).
append([E|R],L2,[E|R3]) :- append(R,L2,R3).

letztes(L,E) :- append(_,[E],L).

member(E,L) :- append(_,[E|_],L).

streiche(E,L,R) :- append(L1,[E|L2],L), append(L1,L2,R).

teilliste(T,L) :- append(_,L2,L), append(T,_,L2).
