Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
LogicBlox
open-in-new
<p>The LogicBlox system is a <a href="/facts/Commercial_software/WLgyRFMh">commercial</a>, <a href="/facts/Declarative_programming/gogtdzcJ">declarative</a>, <a href="/facts/Incremental_computing/4cCcb2dp">incremental</a> <a href="/facts/Logic_programming_language/Xgh8lj3F">logic programming language</a> and <a href="/facts/Deductive_database/5MT9vFjn">deductive database</a> inspired by <a href="/facts/Datalog/67jbYWDb">Datalog</a>. The LogiQL programming language extends Datalog with several features, including stratified negation, aggregation, and a module system. LogicBlox has been used to build <a href="/facts/Pointer_analysis/FVDI91nd">pointer analyses</a> for <a href="/facts/Java_/9ScgFyAL">Java</a>. </p><p>On December 3, 2014 Predictix acquired LogicBlox. On June 28, 2016 Infor acquires Predictix. </p>