0.8.4-SNAPSHOT Arrow_down_16x16
  • (ex* [[p a :as pa] & par] exprs seen)

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

(defn ex* [[[p a :as pa] & par] exprs seen]
  (let [t (p->term p)
        vs (extract-vars p seen)
        seen (reduce conj seen vs)]
    (cond
     (nil? pa) exprs
     (= p '_) (ex* par exprs seen)
     (empty? par) (if exprs
                    (ex vs t a exprs)
                    (ex vs t a))
     :else (let [r (ex* par exprs seen)]
             (if r
               (ex vs t a r)
               (ex vs t a))))))
Vars in cljs.core.logic.macros/ex*:
Used in 0 other vars

Comments top

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