build-seed-bindings

clojure.contrib.datalog.literals

  • (build-seed-bindings s)
Given a seed literal, already adorned and in magic form, convert
its bound constants to new variables.

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/contrib/datalog/literals.clj:302 top

(defn build-seed-bindings
  "Given a seed literal, already adorned and in magic form, convert
   its bound constants to new variables."
  [s]
  (assert (-> s :literal-type (isa? ::literal)))
  (let [ntbs (map-values (fn [_] (gensym '?_gen_)) (:term-bindings s))]
    (assoc s :term-bindings ntbs)))
Vars in clojure.contrib.datalog.literals/build-seed-bindings: -> assert assoc defn isa? let
Used in 0 other vars

Comments top

No comments for build-seed-bindings. Log in to add a comment.