erase/1

Synopsis

erase(+Ref)

Erases from the database the dynamic clause or recorded term referenced by Ref.

Arguments

Ref db_reference

Description

Erases from the database the dynamic clause or recorded term referenced by Ref. (Recorded terms are described in ref-mdb-idb.)

Ref must be a database reference to an existing clause or recorded term.

erase/1 is not sensitive to the source module; that is, it can erase a clause even if that clause is neither defined in nor imported into the source module.

Exceptions

instantiation_error

If Ref is not instantiated.

type_error

If Ref is not a database reference.

existence_error

if Ref is not a database reference to an existing clause or recorded term.

See Also

abolish/[1,2], assert/2, dynamic/1, retract/1, retractall/1.