0.8.4-SNAPSHOT Arrow_down_16x16
  • (ex vs t a)
  • (ex vs t a exprs)

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:273 top

(defn ex
  ([vs t a]
     `(fresh [~@vs]
        (== ~t ~a)))
  ([vs t a exprs]
     (if (fresh-expr? exprs)
       `(fresh [~@vs]
          (== ~t ~a)
          ~exprs)
       `(fresh [~@vs]
          (== ~t ~a)
          ~@exprs))))
Vars in cljs.core.logic.macros/ex:
Used in 0 other vars

Comments top

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