%anhaengen(Liste1,El,Liste2)  Praedikat ist beweisbar, wenn Liste L2 der ListeL1 mit 
%hinten angehaengtem Element El entspricht
anhaengen([],El,[El]).
anhaengen([X|Rest],El,RE):-anhaengen(Rest,E,RE).