plg_runtime/builtins/mod.rs
1//! The builtin layer: arithmetic evaluation (`arith`), standard term
2//! order (`order`), and the C-ABI predicate surface (`pred`) that compiled
3//! code calls into for `is/2`, arithmetic/term comparison, `\=/2`,
4//! `compare/3`, cut, and codegen helpers.
5//!
6//! The M4 deterministic builtins live in their own family modules:
7//! `typecheck` (var/atom/number/... type tests), `termops` (functor/arg/
8//! `=..`/copy_term), `atomops` (atom_length/concat/chars, number_chars/
9//! codes), `sortops` (msort/sort), and `miscops` (succ/plus/
10//! unify_with_occurs_check/write/writeln/nl).
11//!
12//! Semantics are ported byte-for-byte from patch-prolog v1 so error message
13//! text and ordering decisions stay identical; see the per-module docs.
14
15pub mod arith;
16pub mod atomops;
17pub mod facts;
18pub mod miscops;
19pub mod order;
20pub mod pred;
21pub mod sortops;
22pub mod termops;
23pub mod typecheck;