Interesting! I suppose it depends on the context though, right? For answer-set programming like database queries and stuff, I've seen some impressive datalog work done in the past. I'm not well versed in the extensions, and I actually haven't been able to read this post yet, I've been at work since the wee hours, but I was thinking of the success of Datomic. I believe that's datalog under the hood.

I think of miniKanren as relentlessly general purpose, and not so much suited to a demanding niche like databases.

I'm very interested in both. I remember watching a talk called The Promise Of Relational Programming a while back and thinking "this HAS to be the future of programming."