irpr_clientのコマンドパラメタを、名簿管理システムサーバへの メッセージに変換して、インターフェースストリームIrprITRを介して送る。 これらのメッセージの実行内容は、irpr_kappa.kl1で定義されている。
引数の意味は順に次の通り。
exec_irpr(scd, Search_cond, Result)-IrprITR :-
IrprITR <= search_current_data(Search_cond, Result0),
Result = vls(Result0).
exec_irpr(shd, Search_cond, Result)-IrprITR :-
IrprITR <= search_history_data(Search_cond, Result0),
Result = vls(Result0).
exec_irpr(sad, Search_cond, Result)-IrprITR :-
IrprITR <= search_all_data(Search_cond, Result0),
Result = vls(Result0).
exec_irpr(anm, Search_cond, Result)-IrprITR :-
IrprITR <= add_new_member(Search_cond, Result0),
Result = vl(Result0).
exec_irpr(mm, Search_cond, Result)-IrprITR :-
IrprITR <= modify_member(Search_cond, Result0),
Result = vl(Result0).
exec_irpr(dm, Search_cond, Result)-IrprITR :-
IrprITR <= delete_member(Search_cond, Result0),
Result = term(Result0).
otherwise.
exec_irpr(Mode, _Search_cond, Result)-IrprITR :-
Result = term(abnormal("Illegal Parameter.",Mode)).
引数Resultの出力方法について補足する。