Macro datalog

datalog!() { /* proc-macro */ }

Available on crate feature dfir_datalog only.

Generate a graph instance from Datalog code.

This uses a variant of Datalog that is similar to Dedalus.

For examples, see the datalog tests in the repo.