How can I write a predicate that takes a List like [1,2,3,4,5,6] and binds NewList to a list formed by interchanging pairs of members of the list, so in the example, NewList would be [2,1,4,3,6,5]. If the list has an odd number, then the final one is left unchanged at the end of the NewList...