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).