Struct IncrementalEvaluator 

pub struct IncrementalEvaluator { /* private fields */ }

Wraps SemiNaiveEvaluator to support incremental updates: add new base facts without discarding previously derived knowledge.

Implementations

impl IncrementalEvaluator

pub fn new(rules: Vec<Rule>, initial_edb: Edb) -> Result<Self, QueryError>

Create and immediately evaluate the initial EDB.

pub fn add_facts( &mut self, new_facts: Vec<Fact>, ) -> Result<EvalStats, QueryError>

Add new base facts to the EDB and propagate their consequences into the IDB.

Only the newly added facts seed the next Δ, so previously computed derived facts are never recomputed from scratch.

pub fn query(&self, predicate: &str) -> Vec<Fact>

Query the current IDB for all facts of the given predicate.

pub fn total_derived_facts(&self) -> usize

Total number of derived facts currently in the IDB.