(defmacro fresh
"Creates fresh variables. Goals occuring within form a logical
conjunction."
[[& lvars] & goals]
`(fn [a#]
(-inc
(let [~@(lvar-binds lvars)]
(bind* a# ~@goals)))))
See
for copyright and license details.
Vars in clojure.core.logic/fresh:
Used in 0 other vars
Comments top
No comments for fresh. Log in to add a comment.