protocol_property(Protocol, Property)
Enumerates, by backtracking, the properties associated with the currently defined protocols. The valid protocol properties are listed in the language grammar.
protocol_property(?protocol_identifier, ?protocol_property)
type_error(protocol_identifier, Protocol)type_error(callable, Property)domain_error(protocol_property, Property)| ?- protocol_property(listp, Property).
abolish_protocol/1, create_protocol/3, current_protocol/1
conforms_to_protocol/2-3, extends_protocol/2-3, implements_protocol/2-3