Noeud: Internal Database, Noeud « Next »: All Solutions, Noeud « Previous »: Modification of the Program, Noeud « Up »: Built-In Predicates
The predicates described in this section store arbitrary terms in the database without interfering with the clauses which make up the program.
record(
+Term)
recorded(
+Term)
erase(
+Term)