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. Other integers might conflict with the internal consistency of the system. Erase can only be called once on a record or clause. A second call also might conflict with the internal consistency of the system. The system should have a special type for pointers, thus avoiding the Prolog user having to worry about consistency matters.