Struct TensorProgram 

pub struct TensorProgram { /* private fields */ }

A TensorProgram is an executable collection of facts and rules

Implementations

impl TensorProgram

pub fn new(mode: LogicMode) -> Self

Create a new empty program

pub fn add_fact(&mut self, name: &str, tensor: Vec<Vec<f64>>)

Add a fact (ground truth tensor)

pub fn add_rule(&mut self, name: &str, equation: Equation)

Add a rule (derived tensor)

pub fn forward(&mut self) -> &HashMap<String, Vec<Vec<f64>>>

Execute forward chaining: compute all derived tensors

pub fn query(&mut self, name: &str) -> Option<Vec<Vec<f64>>>

Query for a specific tensor (backward chaining style)

pub fn get(&self, name: &str) -> Option<&Vec<Vec<f64>>>

Get a tensor by name (fact or derived)

pub fn results(&self) -> HashMap<String, Vec<Vec<f64>>>

Get all computed results

Trait Implementations

impl Debug for TensorProgram

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.