Given a seed literal, already adorned and in magic form, convert
its bound constants to new variables.
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)))
Comments top
No comments for build-seed-bindings. Log in to add a comment.