public interface DatalogEngineWithProvenance
A Datalog evaluation engine that retains fact provenance. Datalog engines are
initialized with a set of clauses that represent initial facts and rules that
can be used to derive new facts. After initialization, clients can query
about whether certain facts are derivable.
This engine also supports why-provenance queries; that is, querying for the
justification for why a fact was derived.