Contents
External Contents
protocol(Protocol) protocol(Protocol, extends(Protocols))
Starting protocol directive.
protocol(+protocol_identifier) protocol(+protocol_identifier, extends(+extended_protocols))
:- protocol(listp). :- protocol(listp, extends(compoundp)). :- protocol(queuep, extends(protected::listp)).
See also
end_protocol/0