swap(A,B,B,A).

?- swap(1,2,X,Y).
X = 2,
Y = 1.