(defmacro project
"Extract the values bound to the specified logic vars. Non-relational."
[[& vars] & goals]
(let [a (gensym "a")]
`(fn [~a]
(let [~@(project-bindings vars a)]
((fresh []
~@goals) ~a)))))
See
for copyright and license details.
Vars in clojure.core.logic/project:
Used in 0 other vars
Comments top
No comments for project. Log in to add a comment.