Expand description
Parser for Prolog‑like terms with operator definitions.
This module defines the TermParser struct which uses a generated SLR
parser to parse terms tokenized by the TermLexer. It manages operator
definitions and resolves expressions according to precedence and associativity
rules. The parser yields Term values from the arena_terms crate,
representing values, atoms, functions, lists, and tuples.