The LogicBlox system is a commercial, declarative, incremental logic programming language and deductive database inspired by Datalog.
The LogiQL programming language extends Datalog with several features, including stratified negation, aggregation, and a module system.
LogicBlox has been used to build pointer analyses for Java.
[1] On December 3, 2014 Predictix acquired LogicBlox.
[2] On June 28, 2016 Infor acquires Predictix.