current_protocol(Protocol)
Enumerates, by backtracking, all currently defined protocols. All protocols are found, either static, dynamic, or built-in.
current_protocol(?protocol_identifier)
type_error(protocol_identifier, Protocol)
| ?- current_protocol(listp).
abolish_protocol/1
, create_protocol/3
, protocol_property/2
conforms_to_protocol/2-3
, extends_protocol/2-3
, implements_protocol/2-3