plg_runtime/lib.rs
1//! plg-runtime: the support library linked into every compiled Prolog
2//! binary (`libplg_runtime.a`).
3//!
4//! It provides the machine substrate compiled predicates call into —
5//! term heap, trail, choice-point stack, generic unification, the
6//! goal-only `--query` parser, solution output, and the process entry
7//! point. It contains NO clause interpreter: clause control flow lives
8//! in the LLVM IR that `plgc` generates (see
9//! docs/design/COMPILATION_MODEL.md and docs/design/LESSONS_FROM_V1.md).
10
11pub mod abi;
12pub mod builtins;
13pub mod cell;
14pub mod control;
15pub mod copyterm;
16pub mod core;
17pub mod entry;
18pub mod errors;
19pub mod machine;
20pub mod query;
21pub mod reactor;
22pub mod render;
23pub mod solve;
24pub mod unify;