I hope Prolog makes a comeback! There are two Datalog based designs that are interesting for me at the moment. One is Biscuit for authorization tokens and the o

I hope Prolog makes a comeback! There are two Datalog based designs that are interesting for me at the moment. One is Biscuit for authorization tokens and the other is Souffle for static analysis. The latter defines an abstract machine to aid in generating efficient C++ programs (e.g., https://souffle-lang.github.io/translate https://souffle-lang.github.io/translate)