Edit me

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

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

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