# category_property/2

## Description

    category_property(Category, Property)

Enumerates, by backtracking, the properties associated with the defined categories. The valid properties are listed in the language grammar section on entity properties and described in the User Manual section on category properties.

## Modes and number of proofs

    category_property(?category_identifier, ?category_property) - zero_or_more

## Errors

`Category` is neither a variable nor a valid category identifier:
`type_error(category_identifier, Category)`
`Property` is neither a variable nor a callable term:
`type_error(callable, Property)`
`Property` is a callable term but not a valid category property:
`domain_error(category_property, Property)`

## Examples

    % enumerate the properties of the core_messages built-in category:
    | ?- category_property(core_messages, Property).

    Property = source_data ;
    Property = static ;
    Property = built_in ;
    ...

See also

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