Expand description
Abstract Syntax Tree for XLOG programs
Structs§
- AggExpr
- Aggregate expression
- Annotated
Disjunction - Annotated disjunction (
p1::a1; p2::a2.) - Atom
- An atom (predicate applied to terms)
- Comparison
- A comparison expression
- Cond
Expr - Conditional expression: if X < 0 then A else B
- Constraint
- A constraint (:- body)
- Directives
- Compilation/evaluation directives (e.g.,
#pragma ...). - Domain
Decl - Domain declaration
- Epistemic
Literal - Epistemic atom literal in a rule body.
- Evidence
- Evidence statement (
evidence(atom, true|false).) - FuncDef
- User-defined function
- Func
Param - Function parameter with optional type annotation
- IsExpr
- Is-expression for variable binding: Z is X + Y
- Learnable
Rule - A learnable rule template parameterized by a named tensor mask. Used for differentiable ILP — the mask selects which (body1, body2, head) combinations are active during execution.
- Neural
Pred Decl - Neural predicate declaration
- Pred
Column - Predicate declaration column.
- Pred
Decl - Predicate declaration
- Prob
Fact - A probabilistic fact (
p::atom.) - Prob
Query - Probabilistic query statement (
query(atom).) - Program
- A complete XLOG program
- Query
- A query (
?- atom.) - Rule
- A rule (head :- body)
- Univ
- A finite univ expression (
Term =.. Parts) in a rule body. - UseDecl
- Import statement: use module. or use module::{pred1, pred2}.
Enums§
- AggOp
- Aggregation operator
- Arith
Expr - Arithmetic expression tree
- Body
Literal - A literal in the body of a rule
- CompOp
- Comparison operator
- Epistemic
Mode - Epistemic semantics mode.
- Epistemic
Op - Epistemic operator on an atom.
- Func
Body - Function body - arithmetic, conditional, or predicate-based
- Magic
Sets Mode - Magic-set rewrite mode for bound recursive deterministic queries.
- Neural
Label - A label in a neural predicate classification
- Prob
Cache - Probabilistic compilation caching.
- Prob
Engine - Probabilistic engine selection.
- Prob
Method - Monte Carlo sampling method selection.
- Term
- A term in an atom
- TypeRef
- A type reference in source declarations.