Welcome! Please see the About page for a little more info on how this works.
The procedure as described on https://github.com/clojure/core.logic/wiki/Extending-core.logic-(Datomic-example) doesn't work anymore. Clojure complains that IUnifyTerms "isn't a protocol" (even though it clearly is).