Struct DistributedBackwardChainer 

pub struct DistributedBackwardChainer {
    pub max_depth: usize,
    pub max_remote_peers: usize,
    pub timeout_ms: u64,
}

Distributed backward-chaining prover.

Fields

max_depth: usize

Maximum chaining depth.

max_remote_peers: usize

Maximum number of peers to contact per unresolved sub-goal.

timeout_ms: u64

Per-peer query timeout in milliseconds.

Implementations

impl DistributedBackwardChainer

pub fn new(max_depth: usize, max_remote_peers: usize, timeout_ms: u64) -> Self

Create a chainer with explicit parameters.

pub async fn prove_with_tree<FP, FQ>( &self, goal: &Term, local_kb: &KnowledgeBase, find_providers: FP, remote_query: FQ, ) -> Result<ProofTree>

where FP: Fn(Cid) -> BoxFuture<'static, Vec<String>> + Send + Sync + 'static, FQ: Fn(String, Term) -> BoxFuture<'static, Option<Vec<Binding>>> + Send + Sync + 'static,

Attempt to prove goal and return a ProofTree recording the full derivation path.

Both callbacks take owned arguments and return 'static futures.

Trait Implementations

impl Default for DistributedBackwardChainer

fn default() -> Self

Returns the “default value” for a type.