arena_terms_parser/
lib.rs

1//! Copyright (c) 2005–2025 IKH Software, Inc.
2//!
3//! Released under the terms of the GNU Lesser General Public License, version 3.0
4//! or (at your option) any later version (LGPL-3.0-or-later).
5//!
6//! Parser for arena-backed Prolog-like terms.
7//!
8//! This crate provides a parser for parsing Prolog-style terms into the
9//! compact bump‑allocated arena representation from the [`arena_terms`] crate.
10//! It is built on top of the `parlex` runtime library and uses the [`parlex-gen`]
11//! `alex` and `aslr` code generation tools.
12//!
13//! Key components:
14//! - `lexer`: tokenization and value extraction (atoms, numbers, dates, etc.)
15//! - `oper`: operator fixity/precedence/associativity and definitions
16//! - `parser`: SLR parser that yields `arena_terms::Term` values
17//!
18//! # Crates.io
19//! Published at [crates.io/crates/arena-terms-parser](https://crates.io/crates/arena-terms-parser).
20
21pub mod lexer;
22pub mod oper;
23pub mod parser;