Predicates of DEC-10 Prolog

• 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.