A curated list of awesome deductive databases.
Deductive databases combine logical programming with relational databases, and are capable of inferring new information from data stored in the database memory banks; wherein multiplicative deductions are as elementary as Holmesian deduction, and are only bottlenecked by available storage capacity. Deductive databases can also be used as a form of data compression; by reverse querying.
Datalog is a turing-incomplete subset of Prolog, used as a query language for deductive databases.
DES is a cross-platform Prolog implementation of Datalog; licensed under GPL.
- DES: A Deductive Database System
- DES User's Manual
- The University of Sydney:
IRIS Reasoner is an extension of Datalog, written in Java.
MITRE Datalog is a lightweight deductive database system, written in Lua.
OCaml Datalog is an OCaml implementation of MITRE Datalog.
pyDatalog is a pythonic derivation of MITRE Datalog.
Datomic is a proprietary dialect of Datalog.
Dedalus is a temporal extension of Datalog.
These implementations run in the web browser.
- IRIS Demo; a web-based demonstration of IRIS Datalog.
- Datalog.js; a Lua wrapper for MITRE Datalog.