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.
On December 3, 2014, Predictix acquired LogicBlox. On June 28, 2016, Infor acquires Predictix.
Features
Stratified negation"Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation." Aggregate functions Evaluation using a novel worst-case optimal join algorithm. Data constructors Static typing"Our type system has been implemented as a part of the LogicBlox development environment." A module system Probabilistic programming features Incremental computation Debugging with provenance
References Notes
Sources
Further reading
See also
Datalog