You are here: > Programming Languages > Installing miniKanren

Installing miniKanren

  1. You must have Java and Clojure installed as described somewhere else.
  2. 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
  3. 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.