KPRのORリダクション・プロセッサ(ORP)における単一化処理

スポンサーリンク

概要

論文の詳細を見る
論理型言語で記述されたプログラム(論理プログラム)の実行は、「質問」として入力されたゴール列を根とするAND/OR木の各ノードにおける単一化処理に相当する。KPRでは、AND/OR木の各ノードにプロセスを割り付け、AND/OR木の展開・縮退および単一化処理を並列に実行する。AND関係にあるノードにはS(Stream)プロセスを、OR関係にあるノードにはO(Or)プロセスを割り付ける。また、OR関係にあるノードのうち、「事実」に対応するノードにはD(Database)プロセスを割り付ける。このうち、O/Dプロセスでは単一化計算が主な処理となる。プロセス間通信は、主に親子関係にあるプロセス間で行われる。通過メッセージとしては、子プロセスの起動を要求する「デマンド」、親プロセスに解を返す「successイベント」、親プロセスに解がないことを伝える「foilイベント」の3種類がある。
一般社団法人情報処理学会の論文
1988-09-12

著者

関連論文

もっと見る

スポンサーリンク