Memory Management

In the ATOAM, there are four data areas: program area, heap, control stack, and trail stack. The program area contains, besides programs, a symbol table that stores information about the atoms, functions and predicate symbols appearing in the programs. The heap stores terms created during execution. The control stack stores activation frames associated with predicate calls. The trail stack stores updates of those words that must be unbound upon backtracking.