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]

Quick Facts LogiQL, Paradigms ...

On December 3, 2014 Predictix acquired LogicBlox.[2] On June 28, 2016 Infor acquires Predictix.[3]

Remove ads

Features

References

Further reading

See also

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads