imports_category(Object, ImportedCategory) imports_category(Category, ImportedCategory) imports_category(Object, ImportedCategory, Scope) imports_category(Category, ImportedCategory, Scope)
Enumerates, by backtracking, importation relations between objects and categories. The relation scope is represented by the atoms public
, protected
, and private
.
imports_category(?object_identifier, ?category_identifier) imports_category(?category_identifier, ?category_identifier) imports_category(?object_identifier, ?category_identifier, ?scope) imports_category(?category_identifier, ?category_identifier, ?scope)
type_error(object_identifier, Object)
type_error(category_identifier, Category)
type_error(category_identifier, ImportedCategory)
type_error(scope, Scope)
| ?- imports_category(debugger, monitoring). | ?- imports_category(Object, monitoring, protected).