(permuteo xl yl)
A relation that will permute xl into the yl. May not terminate if xl is not ground.
(run* [q] (permuteo [:c q :a] [:b :a :c])) ;; :b