Struct TensorLogicStore 

pub struct TensorLogicStore<S: BlockStore> { /* private fields */ }

Storage manager for TensorLogic IR

Stores terms, predicates, and rules as content-addressed blocks

Implementations

impl<S: BlockStore> TensorLogicStore<S>

pub fn new(store: Arc<S>) -> Result<Self>

Create a new TensorLogic store

pub async fn store_term(&self, term: &Term) -> Result<Cid>

Store a term and return its CID

pub async fn get_term(&self, cid: &Cid) -> Result<Option<Term>>

Retrieve a term by CID

pub async fn store_predicate(&self, predicate: &Predicate) -> Result<Cid>

Store a predicate and return its CID

pub async fn get_predicate(&self, cid: &Cid) -> Result<Option<Predicate>>

Retrieve a predicate by CID

pub async fn store_rule(&self, rule: &Rule) -> Result<Cid>

Store a rule and return its CID

pub async fn get_rule(&self, cid: &Cid) -> Result<Option<Rule>>

Retrieve a rule by CID

pub async fn has(&self, cid: &Cid) -> Result<bool>

Check if a CID exists in storage

pub async fn delete(&self, cid: &Cid) -> Result<()>

Delete a stored item by CID

pub fn add_fact(&self, fact: Predicate) -> Result<()>

Add a fact to the knowledge base

pub fn add_rule(&self, rule: Rule) -> Result<()>

Add a rule to the knowledge base

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

Run inference query on the knowledge base

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

Generate a proof for a goal

pub async fn store_proof(&self, proof: &Proof) -> Result<Cid>

Store a proof and return its CID

pub async fn get_proof(&self, cid: &Cid) -> Result<Option<Proof>>

Retrieve a proof by CID

pub fn verify_proof(&self, proof: &Proof) -> Result<bool>

Verify that a proof is valid against the current knowledge base

pub fn kb_stats(&self) -> KnowledgeBaseStats

Get knowledge base statistics

pub async fn save_kb<P: AsRef<Path>>(&self, path: P) -> Result<()>

Save the knowledge base to a file

Serializes the entire knowledge base (facts and rules) to a file for later loading.

Arguments

• path - Path to save the knowledge base file

pub async fn load_kb<P: AsRef<Path>>(&self, path: P) -> Result<()>

Load a knowledge base from a file

Loads a previously saved knowledge base from disk, replacing the current KB.

Arguments

• path - Path to the saved knowledge base file