next up previous
Next: 名簿管理システムサーバへのメッセージ送信 Up: モジュール irpr_service(irpr_service.kl1) Previous: モジュール irpr_service(irpr_service.kl1)

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

irpr_kappa:create/4で名簿管理システムのサーバを生成し、インタフェース ストリームIrprITRを保持する。

service(IFP,Soc) :-
    klicio:klicio([stdout(normal(OUTS))]),
    irpr_kappa:create(update,IrprITR,IFP,Status),
    service1(Status,IrprITR,Soc,OUTS).