addelt([], X, [X]).
addelt([X|L], X, [X|L]).
addelt([X|L], A, [X|L2]) :- addelt(L, A, L2).