Struct DepthFirstSearch 

pub struct DepthFirstSearch { /* private fields */ }

Depth-first search implementation

Implementations

impl DepthFirstSearch

pub fn new(max_depth: usize, kb: KnowledgeBase) -> Self

Create a new depth-first search

pub fn new_with_engine( max_depth: usize, kb: KnowledgeBase, engine: Option<Arc<Mutex<IncrementalEngine>>>, ) -> Self

Create a new depth-first search and wire an optional IncrementalEngine to enable TMS logical insertion. The engine is provided as Arc<Mutex<>> and the inserter closure will call insert_logical on it.

pub fn search_with_execution( &mut self, goal: &mut Goal, facts: &mut Facts, kb: &KnowledgeBase, ) -> SearchResult

Search for a proof of the goal WITH rule execution

pub fn search(&mut self, goal: &mut Goal, _facts: &Facts) -> SearchResult

Search for a proof of the goal (old method, kept for compatibility)