Module control 

Query-level control constructs and deterministic builtins.

Clause bodies compile control flow to native code; this module only serves goals built at RUNTIME — the --query string today, call/1 metacalls in M4. It walks goal TERMS, never clauses (the rule in docs/design/LESSONS_FROM_V1.md stays intact).

The implementations mirror the compiled lowering exactly (same choice-point shapes, same commit heights), so a goal behaves identically whether it appears in a clause body or a query.

Functions

plg_rt_b_catch_3^⚠

Safety

plg_rt_b_findall_3^⚠

Safety

plg_rt_b_throw_1^⚠

Safety

plg_rt_metacall^⚠

Compiled-code entries for control builtins taking goal terms.

plg_rt_metacall_resolve^⚠

Fast-path resolver for the metacall trampoline (#23): if goal is a simple compiled-predicate call (after peeling a single call/1 wrapper), marshal its arguments and return the entry function pointer as an integer for generated IR to musttail into — giving call(pred(...)) tail recursion constant C stack, like a direct call. Returns 0 for anything the full walker must handle (builtins, control constructs, call/N with extra args, variables, undefined predicates); the caller then falls back to plg_rt_metacall, which is bounded by the depth guard in call_goal.

plg_rt_pred_between_3^⚠

Compiled-code entry for between/3 (uniform predicate signature, arguments in the A registers — dispatched like a user predicate).

try_atom_builtin

Atom-only goals (true, fail, !).

try_builtin

Try to handle name/arity as a control construct or deterministic builtin. Returns None when it’s an ordinary predicate call.