Use in other context is discouraged. When Term is an atom or a term it is unified with the first unifying fact or clause in the database. The fact or clause is removed from the database. All facts or clauses in the database for which the head unifies with Head are removed. Assert a fact or clause in the database.
Term is asserted as the last fact or clause of the corresponding predicate.
Assert Term in the recorded database under key Key . Key is an integer, atom or term. Unify Value with the first term recorded under Key which does unify. Reference is unified with the memory location of the record. Erase a record or clause from the database.