0.8.4-SNAPSHOT Arrow_down_16x16
  • (fresh [& lvars] & goals)
Creates fresh variables. Goals occuring within form a logical
conjunction.

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source cljs/core/logic/macros.clj:57 top

(defmacro fresh
  "Creates fresh variables. Goals occuring within form a logical 
  conjunction."
  [[& lvars] & goals]
  `(fn [a#]
     (-inc
      (let [~@(lvar-binds lvars)]
        (bind* a# ~@goals)))))
Vars in cljs.core.logic.macros/fresh:
Used in 0 other vars

Comments top

No comments for fresh. Log in to add a comment.