xtAddTimeOut(+TimeOutName, +Interval, +TimeOutPredicate, +ClientData) xtRemoveTimeOut(TimeOutName)
intrinsicsのXtAdd/RemovetimeOut()と同様の働きをします。
xtAddTimeOut/4は、Intervalミリ秒後に呼び出されるべきTimeOutPredicate/2を登録します。
TimeOutPredicateは、２つの引数をもつ述語でなければなりません。これは以下のように、タイムアウトイベントがディスパッチされた時に呼び出されます。 TimeOutPredicate(TimeOutName, ClientData).
TimeOutPredicateが１度呼び出されると、タイムアウトは削除されます。周期的に呼び出したい場合には、タイムアウトをコ−ルバック中で登録し直さなければなりません。
TimeOutPredicateは失敗してはならず、失敗した場合には例外"timeout_predicate_failed"が結果として起こります。
[user].
｜ write_timeout(TimeOutName, ClientData) :-
write(' time_out callback '),
write(TimeOutName),
write(' with client_data '),
write(ClientData),
nl.
｜EOF
yes
?- xtAddTimeOut(time_out_5000, 5000,
write_timeout, xxx ),
xtMainLoop.
< after 5 seconds >
time_out callback time_out_5000 with client_data xxx
yes ?- _
＜xtAddtimeOut/4＞ integer_expected Intervalは整数でなければならない timeout_name_already_used TimeOutNameで指定したタイムアウトがすでに存在している illegal_timeout_predicate TimeOutPredicate/2が存在していない
＜xtRemoveTimeOut/1＞ illegal_timeout この名前のタイムアウトは登録されていない