built-in predicate

# `complements_object/2`

## Description

    complements_object(Category, Object)

Enumerates, by backtracking, all category–object pairs such that the category explicitly complements the object.

## Modes and number of proofs

    complements_object(?category_identifier, ?object_identifier) - zero_or_more

## Errors

`Category` is neither a variable nor a valid category identifier:
`type_error(category_identifier, Prototype)`
`Object` is neither a variable nor a valid object identifier:
`type_error(object_identifier, Parent)`

## Examples

    % check that the logging category complements the employee object:
    | ?- complements_object(logging, employee).

See also

current_category/1, imports_category/2-3