(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))))
Comments top
No comments for permuteo. Log in to add a comment.