Struct RuleExecutor 

pub struct RuleExecutor { /* private fields */ }

Rule executor for backward chaining

Implementations

impl RuleExecutor

pub fn new(_knowledge_base: KnowledgeBase) -> Self

Create a new rule executor

Note: The knowledge_base parameter is kept for API compatibility but is not used. Rule evaluation is done through the ConditionEvaluator.

pub fn new_with_inserter( _knowledge_base: KnowledgeBase, inserter: Option<Arc<dyn Fn(String, TypedFacts, String, Vec<String>) + Send + Sync>>, ) -> Self

Create a new executor with optional TMS inserter callback

Note: The knowledge_base parameter is kept for API compatibility but is not used. Rule evaluation is done through the ConditionEvaluator.

pub fn try_execute_rule(&self, rule: &Rule, facts: &mut Facts) -> Result<bool>

Check if rule conditions are satisfied and execute if they are

Returns:

• Ok(true) if rule executed successfully
• Ok(false) if conditions not satisfied
• Err if execution failed

pub fn evaluate_conditions( &self, group: &ConditionGroup, facts: &Facts, ) -> Result<bool>

Evaluate condition group

pub fn evaluate_condition( &self, condition: &Condition, facts: &Facts, ) -> Result<bool>

Evaluate a single condition