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