0.8.4-SNAPSHOT Arrow_down_16x16
  • (fresh [& noms] & goals)
Creates fresh noms. 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/nominal.clj:120 top

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

Comments top

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