xtAddWorkProc(+WorkName, +WorkPredicate, +ClientData) xtRemoveWorkProc(WorkName)

intrinsicsのXtAdd/RemoveWorkProc()に相当します。

xtAddWorkProc/3は、MainLoopからの未解決のイベントがない場合に呼び出されるべきWorkPredicate/2を登録します。

WorkPredicateは、２引数の述語でなければなりません。これは未解決なイベントがない時に、以下に示す形式で呼び出されます。 WorkPredicate(WorkName, ClientData).

WorkPredicate/2は、ユ−ザインタフェ−スをアクティブな状態に保つために、１秒以内に終了するようにした方がよいでしょう。

WorkPredicate/2が失敗した時には、自動的に登録が取り消されます。

[user]. ｜ write_working(WorkName, ClientData) :- write('working '), write(WorkName), write(' with client_data '), write(ClientData), nl, write('please enter true. or fail.'), nl, read(A), A. ｜EOF yes ?- xtAddWorkProc(work_question, write_working, xxx), xtMainLoop. working work_question with client_data xxx please enter true. or fail. true. working work_question with client_data xxx please enter true. or fail. true. working work_question with client_data xxx please enter true. or fail. fail.

yes ?- _

＜xtAddWorkProc/3＞ work_name_already_used WorkNameで指定した仕事がすでに存在している illegal_work_predicate WorkPredicate/2が存在していない

＜xtRemoveWork/1＞ illegal_work この名前の仕事は登録されていない

冒頭へ