prolog2/heap/mod.rs
1//! Heap memory management for terms.
2//!
3//! The heap stores Prolog terms as flat arrays of [`Cell`](crate::heap::heap::Cell) values.
4//! [`SymbolDB`](crate::heap::symbol_db::SymbolDB) provides the global mapping between string
5//! symbols and numeric IDs. [`QueryHeap`](crate::heap::query_heap::QueryHeap) extends the static
6//! program heap with mutable storage for proof search.
7
8pub mod symbol_db;
9pub mod heap;
10pub mod query_heap;