%mydelete(L1,X,L2) ist beweisbar, wenn L2 alle Elemente aus L1 enthält außer alle X
mydelete([],El,[]).
mydelete([El|Rest1],El,L2):-mydelete(Rest1,El,L2).
mydelete([X|Rest1],El,[X|Rest2]):-X\=El,mydelete(Rest1,El,Rest2).