complements_object(Category, Object)
Enumerates, by backtracking, all category–object pairs such that the category explicitly complements the object.
complements_object(?category_identifier, ?object_identifier)
type_error(category_identifier, Prototype)
type_error(object_identifier, Parent)
| ?- complements_object(logging, employee).