Minervqはタイマー処理をサポートします。

タイマー処理をサポートする述語群があります。

• timer_create/2
• timer_close/2
• timer_start/2
• timer_stop/1
• timer_is_active/1

タイマーを作り、消去し、開始させ、停止することができます。タイマーの 現状（進行中か停止中かのどちらか）をチェックすることができます。 タイマーに投げかけられるユーザ定義のコールバック述語を作ることができます。 タイマーが停止した時に、このコールバック述語が呼ばれます。 個々のタイマーは、スレッドとして実装されます。 それにより、タイマーのコールバックは非同期的に開始させることができます。 しかし、Minervaはマルチスレッドはサポートしていません。 (つまり、Minervaは同時に一つのゴールしか実行しません。） 一つのゴールの実行が終了したときに初めて、次のゴール（他のスレッドから 呼び出されたゴールである可能性もあります。）を実行させることが可能です。

それゆえに、タイマーサポートが必要な際は、プログラムは以下のような構成 にせねばなりません。

main(..) :-
    ...
    timer_create(mycallback(_,...), Timer),
    ...
    timer_start(Timer, T).

mycallback(Timer, ...) :-
    ...

プログラムを実行するときには、-daemonのフラグを付けて、Minervaを 呼び出さねばなりません。これによって、main/1述語が実行されている 最中に、その実行を停止することがありません。Minervaはすべてのスレッドが 停止したときに初めて、停止します。

例

main(_) :- ticker.

ticker :-
    set_global(ticker, 10),
    % create a timer, that should call tick/1 when running down
    timer_create(tick(_), Timer),
    % start the timer ...
    timer_start(Timer, 1000).
    % ... and (very important!!) ... stop the execution of main/1


tick(Timer) :-
    count_down(ticker, N),
    ( N > 0 ->
        % write 'tick' ...
        write(tick), nl,
        % .. and restart the timer ...
        timer_start(Timer, 1000)
        % ... and (very important!!) ... stop the execution of tick/1
        % as the execution of the callback predicate will be pending
        % until the execution of tick/1 has been finished
    ;    timer_close(Timer)
    ).

count_down(Counter, Value) :-
    get_global(Counter, OldValue),
    Value is OldValue - 1,
    set_global(Counter, Value).