Logtalk built-in predicate: protocol_property/2

contents > reference manual > built-in predicates

## `protocol_property/2`

#### Description

>     protocol_property(Protocol, Property)

> Enumerates, by backtracking, the properties associated with the currently defined protocols.

#### Template and modes

>     protocol_property(?protocol_identifier, ?protocol_property)

#### Errors

> Protocol is neither a variable nor a valid protocol identifier:
>   `type_error(protocol_identifier, Protocol)`
> Property is neither a variable nor a valid protocol property:
>   `domain_error(protocol_property, Property)`

#### Examples

>     | ?- protocol_property(listp, Property).

previous | glossary | next
Copyright © Paulo Moura — Logtalk.org