名簿管理システムのサーバ

以下に示すirpr_loop/4が名簿管理システムのサーバプロセスである。 引数の意味は順に次の通り。

PreStatus

呼び出し元のステータス。

IrprITR

名簿管理サーバへのインタフェースストリーム。MSGは Messageの略。

Mode

名簿管理サーバ生成時のモード(read_only｜ update)。read_onlyでは、テーブルの更新を許さない。

IFP

kappaのインタフェースプロセスへのストリーム。

irpr_loop(PreStatus,[MSG|IrprITR],Mode,IFP) :-
        wait(PreStatus) |
    exec(MSG,Mode,Status)+IFP+NewIFP,
    irpr_loop(Status,IrprITR,Mode,NewIFP).
otherwise.
irpr_loop(_PreStatus,_IrprITR,_Mode,IFP) :-
    IFP = [].