Top Qs
Timeline
Chat
Perspective
LogicBlox
From Wikipedia, the free encyclopedia
Remove ads
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]
![]() | The topic of this article may not meet Wikipedia's general notability guideline. (March 2023) |
On December 3, 2014 Predictix acquired LogicBlox.[2] On June 28, 2016 Infor acquires Predictix.[3]
Remove ads
Features
- Stratified negation[4]
- Aggregate functions[5]
- Evaluation using a novel worst-case optimal join algorithm.[6][7]
- Data constructors
- Static typing[8]
- A module system
- Probabilistic programming features
- Incremental computation[9]
- Debugging with provenance[10][11]
References
Further reading
See also
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads