diff --git a/project.clj b/project.clj index 3d065d6..fa1ae4f 100644 --- a/project.clj +++ b/project.clj @@ -6,7 +6,7 @@ :dependencies [[org.clojure/clojure "1.6.0"] [org.clojure/clojurescript "0.0-2138"] [org.clojure/core.unify "0.5.3"] - [org.clojure/core.logic "0.8.5"]] + [org.clojure/core.logic "0.8.4"]] :source-paths ["src/clj"] :aot [joy.gui.DynaFrame] :plugins [[lein-cljsbuild "0.3.2"]] diff --git a/src/clj/joy/logic/unify.clj b/src/clj/joy/logic/unify.clj index ef36767..22f68a2 100644 --- a/src/clj/joy/logic/unify.clj +++ b/src/clj/joy/logic/unify.clj @@ -1,4 +1,4 @@ -(ns joy.unify) +(ns joy.logic.unify) (defn lvar? [x] (boolean @@ -146,4 +146,4 @@ (satisfy '?answer 5 {}) -;;=> {answer 5} \ No newline at end of file +;;=> {answer 5}