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.
9
10pub mod abi;
11pub mod builtins;
12pub mod cell;
13pub mod control;
14pub mod copyterm;
15pub mod core;
16pub mod entry;
17pub mod errors;
18pub mod machine;
19pub mod query;
20pub mod reactor;
21pub mod render;
22pub mod solve;
23pub mod unify;
24pub mod wire;