●アブストラクト

１２３４５６７８９０１２３４５６７８９０

KL1は単純な並行論理型言語である。並行論理
型言語は、並列・分散を含む並行計算をプロ
セス群とプロセス間通信によって宣言的に記
述でき、強く型付け・モード付けされた並行
論理型プログラムに対して通信プロトコルの
一貫性を保証することができる。これらの性
質は、分散プログラミングを容易にする。

分散KL1は場所の概念を導入するプラグマ、
および分散ストリーム管理を提供する。分散
プラグマは並行計算のネットワーク透過性を
保つように注意して設計された。

dklicはKL1によって分散APIを記述し、既存の
KL1言語処理系の分散拡張を行う。実働する分
散KL1言語処理系を早急に実現するため、実装
の単純さを重視した。


●キーワード
並行論理型言語, 分散言語処理系, KLIC, KL1.