Struct MemoizedInferenceEngine 

pub struct MemoizedInferenceEngine { /* private fields */ }

Memoized inference engine with query caching

Implementations

impl MemoizedInferenceEngine

pub fn new(cache: Arc<CacheManager>) -> Self

Create a new memoized inference engine

pub fn with_limits( max_depth: usize, max_solutions: usize, cache: Arc<CacheManager>, ) -> Self

Create with custom inference limits

pub fn query( &self, goal: &Predicate, kb: &KnowledgeBase, ) -> Result<Vec<Substitution>>

Query with memoization

pub fn prove( &self, goal: &Predicate, kb: &KnowledgeBase, ) -> Result<Option<Proof>>

Prove with memoization

pub fn cache_stats(&self) -> CombinedCacheStats

Get cache statistics

pub fn clear_cache(&self)

Clear the cache