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