Expand description
Module resolution for XLOG programs.
Structs§
- Executable
Annotated Disjunction - Executable
Atom - A predicate application with a stable relation identity.
- Executable
Constraint - One source-authored integrity constraint.
- Executable
Domain - Executable
Evidence - Executable
Function - Executable
Function Parameter - Executable
Learnable Rule - Executable
Neural Predicate - Executable
Predicate Column - Executable
Probabilistic Fact - Executable
Probabilistic Query - Executable
Probability - Executable
Program - Executable rule graph after module visibility and selection are applied.
- Executable
Query - One source-authored deterministic query.
- Executable
Relation - One predicate signature participating in the executable program.
- Executable
Relation Definition - Executable
Rule - One source-authored executable fact or rule.
- Executable
Scc - One strongly connected predicate component from the production stratifier.
- Executable
Weighted Atom - Ignored
Import Pragma - A
#pragmadirective declared in an imported module. - Module
Resolver - Resolves and loads modules
- Relation
Dependency - One relation dependency contributed by a rule body literal.
- Resolved
Construct Count - Total number of source objects of one construct kind.
- Resolved
Import Manifest - One resolved import edge.
- Resolved
Module Manifest - One source file in a resolved program closure.
- Resolved
Program Extraction - Source inventory and executable dependency structure for one resolved program.
- Resolved
Program Manifest - A deterministic, content-addressed inventory of one resolved XLOG program.
- Resolved
Source Object - One parsed source object and its exact authored source location.
- Resolved
Source Span - Parser-owned source span copied into the stable manifest contract.
Enums§
- Aggregate
Operator - Aggregate operator preserved from a rule head.
- Comparison
Operator - Comparison operator preserved from a body literal.
- Epistemic
Operator - Epistemic operator preserved from the source program.
- Executable
Arithmetic Expression - Arithmetic expression preserved without string rendering.
- Executable
Body Literal - Complete executable rule-body literal.
- Executable
Function Body - Executable
Neural Label - Executable
Relation Definition Kind - Executable
Scalar Type - Executable
Term - Complete source term representation used by executable atoms.
- Executable
Type Reference - Relation
Dependency Kind - Semantic kind of a relation dependency.
- Relation
Dependency Producer Kind - Resolved
Program Extraction Error - Failure while constructing the structured executable program.
- Resolved
Program Manifest Error - Fail-closed errors produced while binding a resolved closure to a source root.
- Resolved
Source Object Kind - Source-level constructs represented by the canonical parser.
- Resolved
Source Object Provenance - Origin of a source object exposed by the resolved-program inventory.
Type Aliases§
- Validated
Imports - Predicate and function names mapped to the source module selected by import validation.