abolish_protocol/1¶
Modes and number of proofs¶
abolish_protocol(@protocol_identifier) - one
Errors¶
Protocol is a variable:
instantiation_error
Protocol 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).