category_property/2¶
Description¶
category_property(Category, Property)
Enumerates, by backtracking, the properties associated with the defined categories. The valid category properties are listed in the language gramar section on entity 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¶
| ?- category_property(Category, dynamic).