wrt to Datomic there's also another Clojure DB using Datalog called Crux that's pretty interesting. I built my most recent project on that.