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.
- 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.