%mydelete(L1,X,L2) ist beweisbar, wenn
%L2 die Liste L1 ohne alle Vorkommen von X ist
mydelete([],E,[]).
mydelete([E|Rest1],E,L2):-mydelete(Rest1,E,L2),!.
mydelete([X|Rest1],E,[X|L2]):-mydelete(Rest1,E,L2).