Predicates of DEC-10 Prolog (not in ISO)

• abolish: Removes all of 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.