Module builtins 

Enums

BuiltinResult

Result of executing a builtin.

Functions

build_list

Build a list term from elements.

builtin_atom_names

Helper: check if a goal atom name matches a known builtin name.

builtin_functor_names

collect_list

Collect list elements from a term. Returns None if not a proper list.

exec_builtin

Execute a built-in predicate.

is_builtin

Check if a goal is a built-in predicate.

term_compare

Standard order of terms (ISO Prolog): Variables < Numbers < Atoms < Compound terms Within numbers: by value. Within atoms: alphabetical. Within compounds: by arity, then functor name, then arguments left-to-right.