Logtalk reference manual
Built-in predicate: current_protocol/1

current_protocol/1

Description

current_protocol(Protocol)

Enumerates, by backtracking, all currently defined protocols. All protocols are found, either static, dynamic, or built-in.

Template and modes

current_protocol(?protocol_identifier)

Errors

Protocol is neither a variable nor a valid protocol identifier:
type_error(protocol_identifier, Protocol)

Examples

| ?- current_protocol(listp).

See also

abolish_protocol/1, create_protocol/3, protocol_property/2
conforms_to_protocol/2-3, extends_protocol/2-3, implements_protocol/2-3