LogicBlox

LogicBlox is a commercial deductive DBMS with a datalog query interface.

History

LogicBlox was acquired by Predictix in 2014.

Query Interface

Datalog