erase/1
erase(
+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_error
type_error
existence_error