built-in predicate

current_category/1

Description

current_category(Category)

Enumerates, by backtracking, all currently defined categories. All categories are found, either static, dynamic, or built-in.

Modes and number of proofs

current_category(?category_identifier) - zero_or_more

Errors

Category is neither a variable nor a valid category identifier:

type_error(category_identifier, Category)

Examples

% enumerate the defined categories:
| ?- current_category(Category).

Category = core_messages ;
...

See also

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