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 ;
...