LogicBlox

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
 * Aggregate functions
 * Evaluation using a novel worst-case optimal join algorithm.
 * Data constructors
 * Static typing
 * A module system
 * Probabilistic programming features
 * Incremental computation
 * Debugging with provenance