Expand description
Heap memory management: cells, query heaps, and the symbol database. Heap memory management for terms.
The heap stores Prolog terms as flat arrays of Cell values.
SymbolDB provides the global mapping between string
symbols and numeric IDs. QueryHeap extends the static
program heap with mutable storage for proof search.
Modulesยง
- heap
- query_
heap - symbol_
db - Global symbol database.