Funny to see this come up -- I just read this paper by a primary author of LogicBlox:

Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?

https://arxiv.org/abs/1905.00402

(In addition to seeing it cited by the Souffle paper I mentioned in a sibling comment.)

It was an interesting paper that gives a flavor for logic / declarative programming, e.g. how to reason about performance, and the problem of tiny changes causing asymptotic performance differences (a problem that SQL shares).

But I think it is mistitled -- it really is about a particular problem domain and is not about programming languages in general.