Struct InferenceEngine 

pub struct InferenceEngine { /* private fields */ }

Local inference engine with backward chaining

Implementations

impl InferenceEngine

pub fn new() -> Self

Create a new inference engine with default settings

pub fn with_limits(max_depth: usize, max_solutions: usize) -> Self

Create an inference engine with custom limits

pub fn with_cycle_detection(self, enabled: bool) -> Self

Enable or disable cycle detection

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

Query the knowledge base for solutions to a goal

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

Prove a goal and return the proof tree

pub fn verify(&self, proof: &Proof, kb: &KnowledgeBase) -> Result<bool>

Verify that a proof is valid against a knowledge base

Trait Implementations

impl Default for InferenceEngine

fn default() -> InferenceEngine

Returns the “default value” for a type.