directive

end_protocol/0

Description

end_protocol

Ending protocol directive.

Template and modes

end_protocol

Examples

:- end_protocol.

See also

protocol/1-2