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の出力方法について補足する。