^^Predicate
Calls an inherited predicate definition. The call fails if there is no inherited predicate definition. This control construct may be used within objects or categories in the body of a predicate definition. When used within a category, the lookup for the overridden predicate definition is restricted to the extended categories. This control construct is optimized for the case where the inherited predicate being called is the same predicate being redefined.
^^+callable
instantiation_error
type_error(callable, Predicate)
permission_error(access, private_predicate, Predicate)
existence_error(predicate_declaration, Predicate)
init :- assertz(counter(0)), ^^init.