built-in method

# `after/3`

## Description

    after(Object, Message, Sender)

User-defined method for handling after events. This method is declared in the monitoring built-in protocol as a public predicate and is automatically called by the runtime for messages sent using the (::)/2 control construct from within objects compiled with the events flag set to `allow`.

Note that you can make this predicate scope protected or private by using, respectively, protected or private implementation of the `monitoring` protocol.

## Modes and number of proofs

    after(?object_identifier, ?callable, ?object_identifier) - zero_or_more

## Errors

(none)

## Examples

    :- object(...,
        implements(monitoring),
        ...).

        % write a log message when a message is successful:
        after(Object, Message, Sender) :-
            writeq(Object), write('::'), writeq(Message),
            write(' from '), writeq(Sender), nl.

See also

before/3, abolish_events/5, current_event/5, define_events/5