Marked_zWadrfromprefixMarked_fromnilMarked_prefixconszWadrMarked_appappLYXSXYSapp(nil,YS)YSapp(cons(X),YS)cons(X)from(X)cons(X)zWadr(nil,YS)nilzWadr(XS,nil)nilzWadr(cons(X),cons(Y))cons(app(Y,cons(X)))prefix(L)cons(nil)app(nil,YS)YSapp(cons(X),YS)cons(X)from(X)cons(X)zWadr(nil,YS)nilzWadr(XS,nil)nilzWadr(cons(X),cons(Y))cons(app(Y,cons(X)))prefix(L)cons(nil)Marked_zWadr(cons(X),cons(Y))Marked_app(Y,cons(X))