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 Ch

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 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.