Other Systems

There is a cornucopia of Datalog systems for a wide range of applications:

  • bddbddb: based on BDDs, single core execution, designed for static program analysis.
  • SociaLite: based on map/reduce, distributed computing
  • LogicBlox: based on advanced trie data-structures, commercial.
  • Coral: developed at the University of Wisconsin-Madison
  • IRIS: semantic extensions to Datalog, top&bottom-up.
  • ABCDatalog

If we missed your Datalog engine, please let us know and/or add it to this page.