feat: add core.logic library

Author: erdos

README.md

@@ -8,7 +8,7 @@ It is built on top of the Clojure JVM runtime, but the parts that need dynamic c
 
 - Starts quickly (it is compiled with GraalVM native-image)
 - Small (≪1K SLOC)
-- Out of the Box [core.async](https://github.com/clojure/core.async) support and also [some other core libraries](https://github.com/erdos/uclj/blob/master/src/uclj/core.clj#L10)
+- Out of the Box [core.async](https://github.com/clojure/core.async) support and also [many other core libraries](https://github.com/erdos/uclj/blob/master/src/uclj/core.clj#L10)
 
 ## Usage
 

project.clj

@@ -12,8 +12,7 @@
                  [org.clojure/data.json "2.4.0"]
                  [org.clojure/data.csv "1.0.0"]
                  [org.clojure/data.xml "0.2.0-alpha6"]
-                 [org.clojure/math.combinatorics "0.1.6"]
-                 ]
+                 [org.clojure/math.combinatorics "0.1.6"]]
   :main uclj.core
   :aot :all
   :java-source-paths ["src"]

src/uclj/core.clj

@@ -10,7 +10,7 @@
 (def namespaces-to-require
   '[[clojure.core]
     [clojure.core.async :as async]
-                                        ;[clojure.core.logic :as logic]
+    [clojure.core.logic :as logic]
                                         ;clojure.data
                                         ;clojure.datafy
     [clojure.data.csv :as csv]