abolish_protocol(Protocol)
Removes from the database a dynamic protocol.
abolish_protocol(@protocol_identifier)
instantiation_error
type_error(protocol_identifier, Protocol)
permission_error(modify, static_protocol, Protocol)
existence_error(protocol, Protocol)
| ?- abolish_protocol(listp).
create_protocol/3
, current_protocol/1
, protocol_property/2
conforms_to_protocol/2-3
, extends_protocol/2-3
, implements_protocol/2-3