An interpreter and analyzer for Dedalus, a Datalog-based formalism for distributed systems. This repository contains both a barebones interpreter for Dedalus and a basic analysis toolkit, including functional dependency tracing. The interpreter is limited, and the significantly improved version based on Hydroflow should be used instead.
- PascalCased relations are automatically persisted.
- Stratification is not implemented, so aggregation and negation only work in certain circumstances.