Expand description
Top-level Locy program executor.
LocyProgramExec orchestrates the full evaluation of a Locy program:
it evaluates strata in dependency order, runs fixpoint for recursive strata,
applies post-fixpoint operators (FOLD, PRIORITY, BEST BY), and then
executes the program’s commands (goal queries, DERIVE, ASSUME, etc.).
Structs§
- Derived
Store - Simple store for derived relation facts across strata.
- Locy
Program Exec - DataFusion
ExecutionPlanthat runs an entire Locy program.
Functions§
- stats_
schema - Schema for the stats batch returned when no commands are present.