Skip to main content

Module entry

Module entry 

Source
Expand description

Process entry: plg_rt_init + plg_rt_main, called from the thin generated main. Owns argv parsing (hand-rolled — no clap inside compiled binaries), output, and the v1 exit-code contract:

0 = no solutions, 1 = solutions found, 2 = query parse error, 3 = runtime error

Functions§

plg_rt_init
Build the Machine from the tables codegen baked into the binary. Re-interning the emitted atom names in id order reproduces the compiler’s exact id space (the interner pre-seeds the same well-known atoms the compiler’s did).
plg_rt_main
Run the query named in argv against the compiled program. Returns the process exit code.