PoC for a dataflow-safe-by-construction Datalog implementation Verifies range restriction and well-modedness by construction.