LogicBlox was used by the initial version of the Doop pointer analysis framework. The Doop framework was based on LogicBlox v3 (LB3). LB3 which uses DRed for incremental maintenance of updates and semi-naive evaluation for incremental evaluation in recursion. I later joined LogicBlox, initially focusing on the compiler implementation, later more on the overall architecture of the system and its applications. LogicBlox v3 is available as binary, look for PA-Datalog at https://github.com/plast-lab/doop . The LogicBlox database engine was significatly rewritten with better query evaluation algorithms for complex logic, resulting in what is known as LogicBlox v4 (LB4). This later version is unfortunately not publicly available. The company LogicBlox was acquired by Infor and it is unclear how to obtain LB4 at this point. Some resources for the architecture and purpose of the LogicBlox system: - [Design and Implementation of the LogicBlox System](https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/logicblox-sigmod15.pdf) - Talk at Splash 2013: [Declarative Programming for the Cloud](https://www.infoq.com/presentations/wavefront/) ( [slides](https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/splash-logicblox-2013.pdf) )