0.8.4-SNAPSHOT Arrow_down_16x16
  • (reifyg x)

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.clj:2283 top

(defn reifyg [x]
  (all
   (enforce-constraints x)
   (fn [a]
     (let [v (walk* a x)
           r (-reify* (with-meta empty-s (meta a)) v)]
       (if (zero? (count r))
         (choice (list v) empty-f)
         (let [v (walk* r v)]
           (reify-constraints v r a)))))))
Vars in clojure.core.logic/reifyg:
Used in 0 other vars

Comments top

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