LogicBlox
Logic programming language
From Wikipedia, the free encyclopedia
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]
| LogiQL | |
|---|---|
| Paradigms | Declarative, Logic programming |
| Family | Datalog |
| Typing discipline | Static |
| License | Commercial |
| Website | "LogicBlox – Next Generation Analytics Applications". Archived from the original on 2023-07-23. |
| Influenced by | |
| Datalog | |
On December 3, 2014, Predictix acquired LogicBlox.[2] On June 28, 2016, Infor acquires Predictix.[3]
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]