abolish(Predicate) abolish(Functor/Arity)
Removes a runtime declared dynamic predicate or a local dynamic predicate from an object database.
abolish(+predicate_indicator)
instantiation_error
instantiation_error
instantiation_error
type_error(predicate_indicator, Predicate)
type_error(atom, Functor)
type_error(integer, Arity)
permission_error(modify, predicate_declaration, Functor/Arity)
permission_error(modify, private_predicate, Functor/Arity)
permission_error(modify, protected_predicate, Functor/Arity)
permission_error(modify, static_predicate, Functor/Arity)
existence_error(predicate_declaration, Functor/Arity)
abolish(Predicate)
::abolish(Predicate)
Object::abolish(Predicate)
asserta/1
, assertz/1
, clause/2
, retract/1
, retractall/1
dynamic/0
, dynamic/1