rust-rule-engine 1.0.2-alpha

A high-performance rule engine for Rust with RETE-UL algorithm (2-24x faster), CLIPS-inspired features (Template System, Defglobal, Deffacts, Test CE, Conflict Resolution), Parallel Execution
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

//! # Backward Chaining Module
//!
//! Goal-driven reasoning system for rust-rule-engine.
//! This module is only available when the `backward-chaining` feature is enabled.
//!
//! ## Overview
//!
//! Backward chaining works by starting from a goal and working backwards
//! to find rules and facts that can prove that goal.
//!
//! ## Example
//!
//! ```ignore
//! use rust_rule_engine::backward::*;
//!
//! let bc_engine = BackwardEngine::new(kb);
//! let result = bc_engine.query("User.IsVIP == true", &facts)?;
//!
//! if result.provable {
//!     println!("Goal is provable!");
//!     println!("Proof: {:?}", result.proof_trace);
//! }
//! ```

pub mod goal;
pub mod search;
pub mod backward_engine;
pub mod query;
pub mod grl_query;
pub mod expression;
pub mod rule_executor;
pub mod unification;

// Re-export main types
pub use goal::{Goal, GoalStatus, GoalManager};
pub use search::{SearchStrategy, SearchResult};
pub use backward_engine::{BackwardEngine, BackwardConfig};
pub use query::{QueryResult, ProofTrace};
pub use grl_query::{GRLQuery, GRLQueryParser, GRLQueryExecutor, GRLSearchStrategy, QueryAction};
pub use expression::{Expression, ExpressionParser};
pub use rule_executor::RuleExecutor;
pub use unification::{Bindings, Unifier};