Expand description
TensorLogic IR types
This module defines the Intermediate Representation types for TensorLogic that can be stored and retrieved via IPFRS.
Structs§
- Knowledge
Base - A knowledge base containing facts and rules
- Knowledge
Base Stats - Knowledge base statistics
- Predicate
- A logical predicate
- Rule
- A logical rule (Horn clause)
- TermRef
- Reference to a term via CID