^^/1

Description

^^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 overrided predicate definition is restricted to the extended categories.

Template and modes

^^+callable

Errors

(none)

Examples

init :-
    assertz(counter(0)),
    ^^init.