I've looked into Clojure logic programming the past few weeks and haven't found anything. Most non-core.logic libraries I've seen are rules engines for in-memory databases, not full logic-programming systems, and one of the original core.logic maintainers said at https://stackoverflow.com/questions/13195493/core-logic-finite-domain-with-ve-values that they had no intention of extending the library itself to negatives or reals.