Struct RuleIpld 

pub struct RuleIpld {
    pub head: TermIpld,
    pub body: Vec<TermIpld>,
    pub metadata: HashMap<String, String>,
}

IPLD representation of a TensorLogic Rule (Horn clause)

The head is the consequent predicate represented as a TermIpld::Compound, and the body is a conjunction of goal terms. Metadata allows callers to attach provenance, version, or labelling information without affecting the content hash (metadata is included in the hash – equal rules with different metadata produce different CIDs).

Fields

head: TermIpld

Head of the Horn clause

body: Vec<TermIpld>

Body goals (conjunction)

metadata: HashMap<String, String>

Arbitrary string metadata (e.g. {“source”: “…”, “version”: “1”})

Trait Implementations

impl Clone for RuleIpld

fn clone(&self) -> RuleIpld

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RuleIpld

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleIpld

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for RuleIpld

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.