Datalog and variants of it come up a bunch in program analysis and software security. For example, GitHub/Microsoft acquired a company, Semmle [1], that has an

Datalog and variants of it come up a bunch in program analysis and software security. For example, GitHub/Microsoft acquired a company, Semmle [1], that has an object-oriented query language that compiles down into Datalog, and can be used to query source code in interesting ways. Souffle [2] comes up in static analysis as well, and is used in systems such as Doop [3]. A kind of predecessor to Doop is bddbddb [4]. Souufle has been used in Ddisasm [5] for disassembling binaries. XSB Prolog has been used in OOAnalyzer [6] for inferring class hierarchies and virtual tables in binaries as well. I myself spend some time working on datalog compilation for program analysis and decompilation :-) [1] https://semmle.com https://semmle.com [2] https://souffle-lang.github.io/index.html https://souffle-lang.github.io/index.html [3] https://bitbucket.org/yanniss/doop/src/master https://bitbucket.org/yanniss/doop/src/master [4] https://suif.stanford.edu/bddbddb https://suif.stanford.edu/bddbddb [5] https://github.com/GrammaTech/ddisasm https://github.com/GrammaTech/ddisasm [6] https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=539759 https://resources.sei.cmu.edu/library/asset-view.cfm?assetid...