Expand description
Pure Rust evaluation engine for Lemma
Executes pre-validated execution plans in dependency order. The execution plan is self-contained with all rules flattened into branches. The evaluator executes rules linearly without recursion or tree traversal.
Re-exports§
pub use operations::ComputationKind;pub use operations::OperationKind;pub use operations::OperationRecord;pub use operations::OperationResult;pub use response::Facts;pub use response::Response;pub use response::RuleResult;
Modules§
- expression
- Iterative expression evaluation
- operations
- Operation types and result handling for evaluation
- proof
- response
Structs§
- Evaluation
Context - Evaluation context for storing intermediate results
- Evaluator
- Evaluates Lemma rules within their document context