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 entry;
17pub mod errors;
18pub mod machine;
19pub mod query;
20pub mod render;
21pub mod solve;
22pub mod unify;