Its much harder to integrate a new language rather then using a language idiomatic rule engine. Defining everything in Clojure datastructures is a huge asset.

Its much harder to integrate a new language rather then using a language idiomatic rule engine. Defining everything in Clojure datastructures is a huge asset. Additionally its easy to use Clojure/Java language constructs in combination with the rule engine. In core.logic you can replace the unification alogorithms because its defined abstractly. I don't think this is as easy to do in Prolog.