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