Crate datalog_ast 

Datalog AST - Shared Library

Abstract Syntax Tree types for Datalog programs. Used across multiple modules (M01, M04, M05) for consistency.

Structs

Atom

Represents an atom like edge(x, y) or reach(x)

Program

Represents a complete Datalog program

Rule

Represents a single Datalog rule

Enums

AggregateFunc

Aggregation function types for Datalog

ArithExpr

Arithmetic expression tree

ArithOp

Arithmetic operators for expressions

BodyPredicate

Represents a body predicate (positive or negated atom) Used in rule bodies to support stratified negation

Constraint

Represents a comparison constraint (x != y, x < 10, etc.)

Term

Represents a variable or constant in Datalog