Module remote_reasoning 

Remote Knowledge Retrieval and Distributed Reasoning

This module provides protocols and interfaces for distributed reasoning across a network of IPFS nodes. It defines the abstractions needed for:

• Remote predicate lookup
• Fact discovery from network peers
• Incremental fact loading
• Distributed goal resolution
• Proof assembly from distributed fragments

Architecture

The remote reasoning system is designed to work with ipfrs-network once integrated. The traits defined here provide the interface that network implementations will satisfy.

Example

use ipfrs_tensorlogic::{RemoteKnowledgeProvider, QueryRequest};

// Once ipfrs-network is integrated:
let provider = NetworkKnowledgeProvider::new(network_client);
let results = provider.query_predicate("parent", vec!["Alice"]).await?;

Structs

DistributedGoalResolver

Distributed goal resolver

DistributedProofAssembler

Proof assembler for distributed proofs

FactDiscoveryRequest

Fact discovery request for network-wide search

FactDiscoveryResponse

Fact discovery response

GoalResolutionRequest

Goal resolution request for distributed solving

GoalResolutionResponse

Goal resolution response

IncrementalLoadRequest

Incremental loading request for streaming facts

IncrementalLoadResponse

Incremental loading response

MockRemoteKnowledgeProvider

Mock implementation for testing (will be replaced with network implementation)

QueryRequest

Query request for remote predicate lookup

QueryResponse

Query response containing facts from remote peer

Enums

RemoteReasoningError

Errors that can occur during remote reasoning

Traits

RemoteKnowledgeProvider

Trait for remote knowledge retrieval