abolish_category/1¶
Description¶
abolish_category(Category)
Abolishes a dynamic category. The category identifier can then be reused when creating a new category.
Modes and number of proofs¶
abolish_category(+category_identifier) - one
Errors¶
Category is a variable:instantiation_errorCategory 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).