abolish(Predicate) abolish(Functor/Arity)
Removes a runtime declared dynamic predicate or a local dynamic predicate from an object database.
abolish(+predicate_indicator)
instantiation_errorinstantiation_errorinstantiation_errortype_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