add_to_end([], X, [X]).
add_to_end([H|T], X, M) :- M=[H|U], add_to_end(T, X, U).

