Module lacegram 

Datalog lacegram parsing, validation, and canonicalization.

Parses rule lines per docs/spec/030-DATALOG.md, checks safety and stratification, and assigns strata.

Structs

CanonicalLacegram

Canonical text and its already parsed, validated Datalog program.

Functions

canonicalize_lacegram_rules

canonicalize_lacegram_source

Canonicalize and compile Lace Datalog source without accepting semantic sugar.

parse_lacegram

Parse a canonical lacegram text into a compiled Lacegram.

parse_rule

Parse a single rule line.

predicate_variable_kinds

Variable kinds that preserve complete candidate tuples in generated rules. Generic positions use text variables so record-shaped values are not required.

prepare_lacegram_rules

Canonical preparation retaining typed resource-limit failures.

render_rule_line