rust_rule_engine/backward/
mod.rs

1//! # Backward Chaining Module
2//!
3//! Goal-driven reasoning system for rust-rule-engine.
4//! This module is only available when the `backward-chaining` feature is enabled.
5//!
6//! ## Overview
7//!
8//! Backward chaining works by starting from a goal and working backwards
9//! to find rules and facts that can prove that goal.
10//!
11//! ## Example
12//!
13//! ```ignore
14//! use rust_rule_engine::backward::*;
15//!
16//! let bc_engine = BackwardEngine::new(kb);
17//! let result = bc_engine.query("User.IsVIP == true", &facts)?;
18//!
19//! if result.provable {
20//!     println!("Goal is provable!");
21//!     println!("Proof: {:?}", result.proof_trace);
22//! }
23//! ```
24
25pub mod aggregation;
26pub mod backward_engine;
27pub mod conclusion_index;
28pub mod disjunction;
29pub mod explanation;
30pub mod expression;
31pub mod goal;
32pub mod grl_query;
33pub mod nested;
34pub mod optimizer;
35pub mod proof_graph;
36pub mod proof_tree;
37pub mod query;
38pub mod rule_executor;
39pub mod search;
40pub mod unification;
41
42// Re-export main types
43pub use aggregation::{apply_aggregate, parse_aggregate_query, AggregateFunction, AggregateQuery};
44pub use backward_engine::{BackwardConfig, BackwardEngine};
45pub use conclusion_index::{ConclusionIndex, IndexStats};
46pub use disjunction::{Disjunction, DisjunctionParser, DisjunctionResult};
47pub use explanation::{Explanation, ExplanationBuilder, ExplanationStep, StepResult};
48pub use expression::{Expression, ExpressionParser};
49pub use goal::{Goal, GoalManager, GoalStatus};
50pub use grl_query::{GRLQuery, GRLQueryExecutor, GRLQueryParser, GRLSearchStrategy, QueryAction};
51pub use nested::{
52    NestedQuery, NestedQueryEvaluator, NestedQueryParser, NestedQueryResult, NestedQueryStats,
53    Query,
54};
55pub use optimizer::{JoinOptimizer, OptimizationStats, OptimizerConfig, QueryOptimizer};
56pub use proof_graph::{
57    FactKey, Justification, ProofGraph, ProofGraphNode, ProofGraphStats, SharedProofGraph,
58};
59pub use proof_tree::{ProofNode, ProofNodeType, ProofStats, ProofTree};
60pub use query::{ProofTrace, QueryResult};
61pub use rule_executor::RuleExecutor;
62pub use search::{SearchResult, SearchStrategy, Solution};
63pub use unification::{Bindings, Unifier};
rust_rule_engine/backward/mod.rs

rust_rule_engine/backward/
mod.rs
