imports_category/2-3
imports_category(Object, Category) imports_category(Object, Category, Scope)Enumerates, by backtracking, all pairs of objects and categories such that the first one imports the other.
imports_category(?object_identifier, ?category_identifier) imports_category(?object_identifier, ?category_identifier, ?scope)
- Object is neither a variable nor a valid object identifier:
type_error(object_identifier, Object)
- Category is neither a variable nor a valid category identifier:
type_error(category_identifier, Category)
- Scope is neither a variable nor a valid entity scope:
type_error(scope, Scope)
| ?- imports_category(debugger, monitoring). | ?- imports_category(Object, monitoring, protected).