category/1-2

Description

category(Category)

category(Category,
    implements(Protocols))

Starting category directive.

Template and modes

category(+category_identifier)

category(+category_identifier,
    implements(+implemented_protocols))

Examples

:- category(monitoring).

:- category(monitoring,
    implements(monitoringp)).

:- category(attributes,
    implements(protected::variables)).