built-in predicate

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).

See also

create_object/4, current_object/1, object_property/2, extends_object/2-3, instantiates_class/2-3, specializes_class/2-3, complements_object/2