欢迎!请参阅关于页面以获取更多关于如何使用本站的信息。
如https://github.com/clojure/core.logic/wiki/Extending-core.logic-(Datomic-example)中所述的过程不再工作。Clojure 抱诉IUnifyTerms "不是一个协议"(尽管很明显它是一个)。