fresh
added
ns
clojure.core.logic
type
macro
(fresh [& lvars] & goals)
Creates fresh variables. Goals occuring within form a logical conjunction.