erase/1
erase(+Ref)
Erases from the database the dynamic clause or recorded term referenced by Ref.
db_reference, must be nonvar
Erases from the database the dynamic clause or recorded term referenced by Ref.
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.
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.