abolish_category/1¶
Modes and number of proofs¶
abolish_category(+category_identifier) - one
Errors¶
Category is a variable:
instantiation_error
Category is neither a variable nor a valid category identifier:
type_error(category_identifier, Category)
Category is an identifier of a static category:
permission_error(modify, static_category, Category)
Category does not exist:
existence_error(category, Category)
Examples¶
| ?- abolish_category(monitoring).