Skip to main content

Module compile

xlog_logic

Module compile 

Source
Expand description

Compilation pipeline for XLOG programs

This module compiles the core XLOG AST into execution plans. The compilation process consists of:

  1. Parsing: Convert source text to AST (parser::parse_program)
  2. Stratification: Analyze negation/aggregation dependencies (stratify::stratify)
  3. Lowering: Transform AST to Relational IR (lower::Lowerer::lower_program)

The Compiler struct orchestrates these phases and provides a single entry point via the compile method. User-defined functions are a source-level normalization step: callers using this low-level compiler must expand them before compilation. Execution-facing LogicProgram APIs perform that normalization for parsed and source inputs.

Structs§

Compiler
The XLOG compiler orchestrates the full compilation pipeline.

Functions§

compile
Convenience function to compile source in one call.
load_modules
Load modules for an entry source file.