0.8.4-SNAPSHOT Arrow_down_16x16
  • (solve & [n [x] & goals])

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

(defmacro solve [& [n [x] & goals]]
  `(let [xs# (cljs.core.logic/-take* (-inc
                      ((fresh [~x] ~@goals
                         (fn [a#]
                           (cons (cljs.core.logic/-reify a# ~x) '()))) ;; TODO: do we need this?
                       cljs.core.logic/empty-s)))]
     (if ~n
       (take ~n xs#)
       xs#)))
Vars in cljs.core.logic.macros/solve:
Used in 0 other vars

Comments top

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