Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
18 lines (15 sloc) 848 Bytes
title permalink sidebar folder
Other Systems

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.

You can’t perform that action at this time.