欢迎!请参阅关于页面了解有关此如何工作的更多信息。
如https://github.com/clojure/core.logic/wiki/Extending-core.logic-(Datomic-example)中所描述的步骤不再起作用。Clojure抱怨IUnifyTerms不是协议(尽管明显是这样)。