object_property/2¶
Description¶
object_property(Object, Property)
Enumerates, by backtracking, the properties associated with the defined objects. The valid object properties are listed in the language gramar section on entity properties.
Modes and number of proofs¶
object_property(?object_identifier, ?object_property) - zero_or_more
Errors¶
Object is neither a variable nor a valid object identifier:
type_error(object_identifier, Object)
Property is neither a variable nor a callable term:
type_error(callable, Property)
Property is a callable term but not a valid object property:
domain_error(object_property, Property)
Examples¶
| ?- object_property(list, Property).