built-in predicate

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_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).

See also

category_property/2, create_category/4, current_category/1 complements_object/2, extends_category/2-3, imports_category/2-3