%myreverse(L1,L2) ist beweisbar, wenn L2 die Umkehrung von L1 ist
myreverse([],[]).
myreverse([X|Rest1],L2):-myreverse(Rest1,RH),append(RH,[X],L2).