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

References

Notes

Sources

Further reading

See also

• Datalog