MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
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 この名前の仕事は登録されていない
| 
