imports_category/2-3

Description

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.

Template and modes

imports_category(?object_identifier, ?category_identifier)

imports_category(?object_identifier, ?category_identifier, ?scope)

Errors

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)

Examples

| ?- imports_category(debugger, monitoring).

| ?- imports_category(Object, monitoring, protected).