无法解决符号：clojure.core.logic/membero

Question

我正在尝试按照由 https：//clojuredocs.org/clojure.core.core.core.core.logic.logic/membero

(ns clojure-noob.core
  (:gen-class) 
  (:require [clojure.core.logic :as logic]))

(defn -main
  "I don't do a whole lot ... yet."
  [& args]
  (println "Hello, World!"))

(logic/membero :a [:a :b :c]) ； => Could not resolve symbol: logic/membero
(clojure.core.logic/membero  :a [:a :b :c])； => Could not resolve symbol: clojure.core.logic/membero

我只是我开始我的斗篷之旅，请保持温柔。 我看到2种可能性，

• a）Membero被弃用或转移到其他目录
• b）有关我的设置的一些目录，这阻止了我运行它。

a）似乎被排除在外，因为在最近的帖子中仍有会员提到 我如何使用core.logic在地图数据库中搜索有效的嵌套地图？ set incor.logic中的会员资格

Answer 1

感谢MartinPůA向我指出依赖关系。

会员不是这篇文章的重点。我的问题是当我开始看到“无法解决符号：”错误时，我不知道在哪里添加依赖项。

添加project.clj中的依赖性如下所示。

(defproject clojure-noob "0.1.0-SNAPSHOT"
  :description "FIXME: write description"
  :url "http://example.com/FIXME"
  :license {:name "EPL-2.0 OR GPL-2.0-or-later WITH Classpath-exception-2.0"
            :url "https://www.eclipse.org/legal/epl-2.0/"}
  :dependencies [[org.clojure/clojure "1.10.3"] 
                 [org.clojure/core.logic "1.0.1"]]
  :main ^:skip-aot clojure-noob.core
  :target-path "target/%s"
  :profiles {:uberjar {:aot :all
                       :jvm-opts ["-Dclojure.compiler.direct-linking=true"]}})

接下来的我的下一个混乱是为什么我们不能（需要[org.clojure/core.logic“ 1.0.1”]）才能更改依赖项而无需重新启动repl。

事实证明，这是开箱即用的不支持的东西，但通常要求

任何将依赖依赖性添加到Lein Project的方式重新启动？
任何将依赖依赖性添加到Lein Project的方式重新启动？

promegranate https://github.com/clj-commons/pomegommons/pomegomons/pomegranate/pomegranate/pomegranate
被提出是做到这一点的手段。尝试时会发布更新。