| ?- paws::swap(apples, oranges, X, Y).
X = oranges
Y = apples
yes

| ?- paws::swap(3.14, ext(lgt), X, Y).
X = ext(lgt)
Y = 3.14