org.clojure/core.logic

Namespaces

cljs.core.logic.macros
clojure.core.logic
- arithmetic
- bench
- dcg
- fd
- nominal
- protocols
- unifier

doc source examples comments

0.8.4-SNAPSHOT permalink

0.8.4-SNAPSHOT

fresh

clojure.core.logic

(fresh [& lvars] & goals)

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

See for copyright and license details.

0 Examples top

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)))))

See for copyright and license details.

Vars in clojure.core.logic/fresh:

Used in 0 other vars

Core.Logic Docs(beta)

org.clojure/core.logic

Namespaces

fresh

clojure.core.logic

0 Examples top

See Also top

Source clojure/core/logic.clj:1166 top

Comments top

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