clean up solutions a bit

clojure · Dec 10, 2012 · e13a805 · e13a805
1 parent 16ba115
commit e13a805
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/main/clojure/clojure/core/logic.clj b/src/main/clojure/clojure/core/logic.clj
@@ -1843,11 +1843,10 @@
   ([& goals] `(fn [a#] (bind* a# ~@goals))))
 
 (defn solutions
+  ([s g]
+     (solutions s (lvar) g))
   ([s q g]
-     (take*
-      ((all g
-        (fn [a]
-          (cons (-reify a q) '()))) s))))
+     (take* ((all g (reifyg q)) s))))
 
 ;; =============================================================================
 ;; Debugging