[nondet]current_alarm(?Time,
:Goal, ?Id, ?Status)done if the
alarm has been fired, next if the event is the next to be
executed and
scheduled otherwise.
[nondet]current_alarm(?Time,
:Goal, ?Id, ?Status)done if the
alarm has been fired, next if the event is the next to be
executed and
scheduled otherwise.