menge([],[]).
menge([El|Rest],M):-member(El,Rest),menge(Rest,M).
menge([El|Rest],M):- not(member(El,Rest)),menge(Rest,M1),append(M1,[El],M).

myunion(M1,M2,M):-append(M1,M2,M3),menge(M3,M).