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 clojure/core/logic.clj:1166 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 clojure.core.logic/fresh:
Used in 0 other vars

Comments top

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