fresh

added

ns
clojure.core.logic

type
macro

(fresh [& lvars] & goals)

Creates fresh variables. Goals occuring within form a logical
conjunction.