Contents
External Contents
end_protocol
Ending protocol directive.
:- end_protocol.
See also
protocol/1-2