(defne permuteo
"A relation that will permute xl into the yl. May not
terminate if xl is not ground."
[xl yl]
([() ()])
([[x . xs] _]
(fresh [ys]
(permuteo xs ys)
(rembero x yl ys))))
See
for copyright and license details.
Vars in clojure.core.logic/permuteo:
Used in 0 other vars
Comments top
No comments for permuteo. Log in to add a comment.