end_protocol/0
end_protocol Ending protocol directive.
end_protocol
Ending protocol directive.
:- end_protocol.
Previous | Next | Table of Contents | Bibliography | Glossary
Last updated on: July 4, 2000