abolish_protocol/1
Description
abolish_protocol(Protocol)
Abolishes a dynamic protocol. The protocol identifier can then be reused when creating a new protocol.
Modes and number of proofs
abolish_protocol(@protocol_identifier) - one
Errors
Protocol is a variable:instantiation_errorProtocol is neither a variable nor a valid protocol identifier:type_error(protocol_identifier, Protocol)Protocol is an identifier of a static protocol:permission_error(modify, static_protocol, Protocol)Protocol does not exist:existence_error(protocol, Protocol)Examples
| ?- abolish_protocol(listp).