Noeud: Internal Database, Noeud « Next »: , Noeud « Previous »: Modification of the Program, Noeud « Up »: Built-In Predicates


Internal Database

The predicates described in this section store arbitrary terms in the database without interfering with the clauses which make up the program.

record(+Term)
An entry associated with Term is added to the internal database.
recorded(+Term)
The internal database is searched for terms unifiable with Term.
erase(+Term)
Any entry in the internal database unifiable with Term is erased.