foo([],[]). foo([X],[X]). foo([X,Y|S], [Y,X|T]) :- foo(S,T).