specializes_class(Class, Superclass) specializes_class(Class, Superclass, Scope)
Enumerates, by backtracking, all pairs of objects such that the first one specializes the second. The relation scope is represented by the atoms public, protected, and private.
specializes_class(?object_identifier, ?object_identifier) specializes_class(?object_identifier, ?object_identifier, ?scope)
type_error(object_identifier, Class)type_error(object_identifier, Superclass)type_error(atom, Scope)domain_error(scope, Scope)| ?- specializes_class(Subclass, state_space). | ?- specializes_class(Subclass, state_space, public).
current_object/1, extends_object/2-3, instantiates_class/2-3