JPH03132824A - 論理型プログラム処理方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 ［産業上の利用分野］ この発明は、プロログ（Ｐｒｏｌｏｇ）のように推論を
行う述語で記述された論理型プログラムの処理方式に関
するものである。

［従来の技術］ これまでのノイマン型コンピュータに替り、三段論法に
代表される推論処理を行う推論コンピュータが近年開発
されている。推論コンピュータで実行される論理型プロ
グラミング言語の代表的なものとしては、ｐｒｏｌｏｇ
が知られている。

第１図は、ＷＡＭ　（Ｗａｒｒｅｎ　Ａｂｓｔｒａｃｔ
　Ｍａｃｈｉｎｅ）として知られている。　Ｐｒｏｌｏ
ｇで記述されたプログラムの処理方式を実現するための
装置の一例を示すブロック図である。

図において、１は演算処理装置、２は論理型言語Ｐｒｏ
ｌｏｇで記述されたプログラムをコンパイルして得られ
た命令列を保持する命令コード記憶装置、３はバックト
ラックの際に復帰すべき情報と節の実行環境とを保持す
るローカルスタック、４は入城変数及び複合項を保持す
るグローバルスタック、５はバックトラックの際に無効
化すべき変数のアドレスを保持するトレイルスタック、
６は述語呼び出しの実引数、すなわちゴール引数や一時
変数を保持する引数レジスタ群、７は上記命令コード記
憶装置２及び各スタック３〜５のアドレスなどを保持す
る制御レジスタ群である。なお、同図において、命令コ
ード記憶装置２と各スタック３〜５及び各レジスタ群６
，７は、別々の記憶装置に割り当てるように記述してい
るが、それらの一部または全てを同一の記憶装置に割り
当てても構わない。

第２図は、論理型言語Ｐｒｏｌｏｇで記述したプログラ
ムの一例である。

第６図は、第２図に示したプログラムを従来方式でコン
パイルした結果として得られる命令列である。同図にお
いて、節の選択に関する命令は以下のように説明される
。

ｔｒｙ−ｍｅ−ｅｌｓｅ　Ｌａｂｅｌ は、バックトラックの際にＬａｂｅｌに対応する節。

すなわち第２図に示したプログラム中の述語ｐの第２番
目の節を実行することができるように。

ローカルスタック３へ情報を保存することを指示する命
令である。

５ｗ１ｔｃＪｏｎ　ｔｅｒｍ　ｖａｒ＝Ｌｖａｒ、ｃｏ
ｎｓｔ＝Ｌｃｏｎｓｔ。

１ｉｓｔ−Ｌｌｉｓｔ、５ｔｒｕｃｔ＝Ｌｓｔｒｕｃｔ
は、第１引数内に格納されたデータの型により分岐を行
う命令である。すなわち、データが未定義変数である場
合にはＬｖａｒに対応する命令に、アトムまたは数であ
る場合にはＬｃｏｎｓｔに対応する命令゛に、リストで
ある場合にはＬｌｉｓｔに対応する命令に、複合項であ
る場合にはＬｓｔｒｕｃｔに対応する命令に分岐を行う
命令である。

ｓｗｊｔｃｈ−ｏｎ　　ｃｏｎｓｔａｎｔ　　１：Ｌ２
．　２：Ｌ３．　　ｅｌｓｅ：Ｌ４は、第１引数内に格
納されたデータの値により分岐を行う命令である。例え
ば、上記のようなパラメータが指定されると、データが
１である場合にはＬ２に対応する命令に、２である場合
にはＬ３に対応する命令に、それ以外の場合にはＬ４に
対応する命令に分岐を行う命令である。

ｔｒｙ　Ｌａｂｅｌ は、ｓｗｉ　ｔｃＪｏｎ−ｔｅｒｍまたは５ｗ１ｔｃｈ
　ｏｎ　ｃｏｎｓｔａｎｔ命令で分岐された後も更に複
数の選択肢が残された場合に用いられる命令で、Ｌａｂ
ｅｌに対応する節が失敗してバックトラックする際２次
命令を実行する命令である。すなわち、第２図に示した
プログラム中の述語ｑの第２番目の節を実行することが
できるように、ローカルスタック３へ情報を保存するこ
とを指示する命令である。

更に、小長谷明彦による″論理型言語処理装置”　（特
開昭６１−１９４５３８号、昭和６１年８月２８日）で
は、引数レジスタの特定の１つを第１オペランドで指定
し、該引数レジスタ内に格納されたデータまたは該引数
レジスタからの参照先データが構造体のときに該構造体
のファンフタにエンコードされた建値を第２オペランド
として与えられたマスク値によりマスクして得られた値
に応じて分岐を行う命令処理手段を提案している。すな
わち、第１引数以外の任意の引数も建値として選択する
ことができる。更に、多重インデクシングを用いて２つ
以上の引数のデータの型、あるいは値により分岐するこ
とを可能とする。その結果、第６図の述語ｑのコードの
うちｔｒｙ命令を省略することができる。

［発明が解決しようとする課ＭＥ 以上説明したように、従来方式においては第２図に示し
た述語ｐのような節集合に対しては、レジスタごとの型
、値の情報のみでは分岐することができず、バックトラ
ックのためにローカルスタックに各種情報を保存するこ
とが必要となる。

これらの情報の保存及び除去の処理、すなわち選択肢フ
レームの生成及び除去の処理のコストは一般に高く、選
択肢に関する処理の速度を低下させるという問題点があ
った。

この発明は上記のような問題点を解消するためになされ
たもので、選択肢に関する処理を高速に実行することが
できる論理型プログラム処理方式を得ることを目的とす
る。

［課題を解決するための手段］ この発明に係る論理型プログラム処理方式は、複数の引
数レジスタの関係に基づき対応する節の命令に分岐を行
う命令を新たに備えたものである。

［作用］ この発明における論理型プログラム処理方式は、前記の
ような複数の引数レジスタの関係により対応する節の命
令に分岐を行う命令を用いて、該当する筒のみを選択す
ることにより、選択肢フレームの生成及び除去の処理を
不要とし、選択肢に関する処理を高速に実行する。

［実施例コ 以下、この発明の一実施例を図について説明する。

第３図は複数の引数レジスタの関係により対応する節の
命令に分岐を行う命令の一例である。図において、５ｗ
１ｔｃｈ　ｏｎ　ｕｎｉｆｉａｂｌｅは、もし、与えら
れた２つの引数がユニファイ（単一化、統合化）可能な
らば次命令に進み、そうでないならばＬａｂｅｌに対応
する命令を実行する。ここでは、複数レジスタの関係と
してユニファイの可能性を例としたが、大小関係、型や
組込み述語の等優性などが他の例として挙げることがで
きる。

第４図は、第２図に示したプログラムのうち。

述語Ｐを本方式を用いてコンパイルした結果として得ら
れる命令列である。同図において本方式の命令は次のよ
うに説明される。

５ｗ１ｔｃｈ　ｏｎ−ｕｎｉｆｉａｂｌｅ　　Ａｌ、　
Ａ２．　Ｌａｂｅｌは、引数レジスタＡＩとＡ２のユニ
ファイ可能性を調べ、もし、ユニファイ可能ならば次命
令に進み、そうでないならばＬａｂｅｌに対応する命令
を実行する。すなわち、ユニファイ可能でないならば、
ローカルスタック３にバックトラックのための情報を保
存することなく、２番目の節に進む。

次に、この命令を用いた処理の流れを説明する。第５図
はこれらの命令を含む述語ｑの処理を本発明に従って処
理した際のフローチャートである。ここで、述語ｑは、 ｐ（２，１） のゴールによって呼び出されたものとする。レジスタＡ
Ｉには２が、レジスタＡ２には１が格納されており、ユ
ニファイ可能ではないのでＬａｂｅｌに進み（ステップ
Ｓ１→Ｓ２）、引き算命令が実行された後、再びｐが呼
び出される。このとき、レジスタＡ１には１が、レジス
タＡ２には１が格納されており、ユニファイ可能である
ので、実際のユニフィケーションがなされた後、終了す
る（ステップＳ１→Ｓ３）。このように、レジスタＡＩ
とＡ２がユニファイ可能でないならば、選択肢フレーム
を生成しないで即座に２番目の節が選択される。

［発明の効果］ 以上のように、この発明によれば、簡単な機能追加を行
うことにより実現可能な、複数の引数レジスタの関係に
より対応する節の命令に分岐を行う命令により、選択肢
フレームの生成及び除去の処理を省略することができ１
節の選択を高速に行うことができる効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例による処理方式を実現するた
めの装置のブロック図、第２図は論理型言語Ｐｒｏｌｏ
ｇのプログラム例を示す図、第３図は本発明の一実施例
による処理方式を実現するために用いられる。複数の引
数レジスタの関係により対応する節の命令に分岐を行う
命令を示す図、第４図は本発明に従って第２図のプログ
ラムをコンパイルした結果として得られる命令列を示す
図、第５図は第４図の命令列を本発明に従って実行した
処理の流れを示すフローチャート、第６図は第２図のプ
ログラムを従来方式でコンパイルした結果として得られ
る命令列を示す図である。 １は演算処理装置、２は命令コード記憶装置、３はロー
カルスタック、４はグローバルスタック、５はトレイル
スタック、６は引数レジスタ群、７は制御レジスタ群。

Claims (1)

1. 【特許請求の範囲】 述語呼び出しの実引数を格納する引数レジスタ群を備え
   、推論を行う述語で記述された論理型プログラムの処理
   に際して上記引数レジスタ群を用いて選択肢に関する処
   理を行う論理型プログラム処理方式において、 複数の引数レジスタの関係に基づき対応する節の命令に
   分岐を行う命令を備えたことを特徴とする論理型プログ
   ラム処理方式。