Install core.logic (the miniKanren implementation in Clojure) as a Leiningen dependency. In the terminal type:
a='{:user {:plugins [[lein-exec "0.3.6"]]'
b=' :dependencies [[org.clojure/core.logic "0.8.10"]]}}'
echo $a$b > ~/.lein/profiles.clj
The installation of this dependency will occur next time you run the repl:
lein repl
You can now import the core.logic namespace at the repl prompt or in a Clojure source file:
(use 'clojure.core.logic)
The following warning will appear:
WARNING: == already refers to: #'clojure.core/== in namespace: user, being replaced by: #'clojure.core.logic/==
You can ignore this warning.