append_dl(S1,E1, S2,E2, S1,E2) :- E1 = S2.