abolish_object/1¶
Description¶
abolish_object(Object)
Abolishes a dynamic object. The object identifier can then be reused when creating a new object.
Modes and number of proofs¶
abolish_object(+object_identifier) - one
Errors¶
Object is a variable:
instantiation_error
Object is neither a variable nor a valid object identifier:
type_error(object_identifier, Object)
Object is an identifier of a static object:
permission_error(modify, static_object, Object)
Object does not exist:
existence_error(object, Object)
Examples¶
| ?- abolish_object(list).