Predicates of DEC-10 Prolog (not in ISO)

• abolish:   Removes all the dynamic predicates from the program area.

• recorda(Key,Term,Ref):   Makes the term Term the first record under the key Key with a unique identifier Ref.

• recorded(Key,Term,Ref):   The term Term is currently recorded under the key Key with a unique identifier Ref.

• recordz(Key,Term,Ref):   Makes the term Term the last record under the key Key with a unique identifier Ref.

• erase(Ref):   Erases the record whose unique identifier is Ref.