mangle_analysis

This package is part of the Mangle logic programming language. It contains code related to semantic analysis (name resolution, type inference and type-checking).

See https://codeberg.org/TauCeti/mangle-rs for more information about Mangle.

lib.rs:

Analysis and Transformation Pipeline for Mangle.

This crate provides the core analysis passes and transformations that turn a parsed Mangle AST into an executable plan.

Transformation Stages

1. Program Structure: The raw AST is wrapped in a Program abstraction which distinguishes between extensional (data) and intensional (rules) predicates.

2. Stratification: The program is analyzed for dependencies and stratified to handle negation correctly. This produces a StratifiedProgram, where predicates are grouped into layers (strata) that can be evaluated sequentially.

3. Lowering: The AST (or stratified program parts) is lowered into the Intermediate Representation (IR). See LoweringContext.

4. Type Checking: The IR is checked for type consistency and safety. See BoundsChecker.

5. Planning: The Logical IR rules are transformed into Physical Operations (like nested-loop joins) ready for execution or codegen. See Planner.