On: Fourth-generation programming language

[sirwhinesalot]

Datalog is one of my favorite languages, specially the Soufflé implementation with static types. Just as mainstream languages started adding OO-related and later FP-related features, I hope logic-programming / relational-programming is next in line, and Datalog is (IMO) by far the best implementation of the paradigm. It's super simple to understand, it pushes you towards good modeling practices by design, it's highly efficient, the only downside is weak language integration / lack of popularity...