JPS6063639A - 述語論理型プログラム記憶制御装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 本発明はＰｒｏｌｏｇ言語に代表される述語論理型言語
を実行する処理装置に関するものである。更に詳細には
、大規模な述語論理型プログラムを実行する時に、磁気
ディスク等の大容量記憶装置と主記憶装置間のプログラ
ム転送の制御方式に係る。

述語論理型言語の代表であるＰｒｏｌｏｇでは、述語は 述語名（引数、引数、・・・、引数） の形式を持ち、Ｐ、Ｑ、・・・を述語とした時、事実（
ａｓｓｅｒｔｉｏｎ　）は Ｐ。

Ｑ。

Ｒｏ の形式で書き、述語Ｐ、Ｑ、Ｒが真であることを表わす
。

又、規則（ｒｕｌｅ）は Ｐ：ーＱ、Ｒ、 と書き、述語ＱとＲが共に真の時には、述語Ｐが真であ
ることを表わす。

又、問合せ（Ｃｏｍｍａｎｄ）は ：ーＰ、Ｑ、Ｒ、 の形式を持ち、述語Ｐ、Ｑ、Ｒが共に真になるデータを
述めることを示す。

第１図は、事実と規則のプログラム例を示し、第２図は
第１図の事実と規則に対する間合せプログラムと出力結
果を示す。

Ｐｒｏｌ　ｏｇを用いた応用プログラムでは、第１図に
示す事実と規則として大容量なものが必要となシ、これ
らは磁気ディスク等の大容量記憶装置に貯えている。

一方、第２図に示す問合せが生じた時には、該当する事
実や規則を大容量記憶装置から主記憶装置−８取シ込み
、主記憶装置上にある事実と規則を用いて処理を行う。

大容量記憶装置から主記憶装置への転送を効率良く行う
ことがＰｒｏｌｏｇプログラムの実行性能に大きく左右
する。

本発明は、主記憶中に存在しない述語に出合った時には
、同一述語名を持つ事実や規則から成る手続き（Ｐｒｏ
ｃｅｄｕｒｅ　）単位で大容量記憶装置と主記憶装置間
で転送する記憶制御装置を提供する。

即ち、本発明によれば、述語名と複数個の変数とから成
る述語で構成する事実と規則を貯える大容量記憶手段と
、該大容量記憶手段に記憶された情報の内の一部を貯え
る主記憶手段と、該事実と規則に対する問合せを処理す
る実行手段及び核間合せ処理の実行中に該主記憶手段に
存在しない述語に遭遇した時同一名の述語を持つ事実と
規則から成る手続きを単位として該大容量記憶手段から
該主記憶手段へ取り込む制御を行う記憶制御手段とを具
備し、手続き単位で大容量記憶装置と主記憶装置間で事
実と規則の転送を行うことを特徴とする述語論理型プロ
グラム記憶制御装置が得られる。

次に本発明を用いた実施例について詳細に述べる。

第３図は本発明を用いた記憶制御装置のブロック図を示
し、大容量記憶手段１、主記憶手段２、実行手段３及び
記憶制御手段４とから成る。

大容量記憶手段１は磁気ディスク装置、主記憶手段２は
汎用計算機の主記憶装置、実行手段３は汎用計算機の演
算処理ユニットで実現できる。

次に記憶制御手段４の動作について説明する。

第４図はＰｒｏｌｏｇプログラムの実行状態を示し、大
容量記憶手段１と主記憶手段２の記憶内容を示す概念図
である。又、第５図は実行動作のフローを示す。

主記憶手段２の（１）で示す規則Ｐを実行したとする。

（第５図の１０）実行手段３は述語Ｐの実行環境を作り
、述語Ｑの実行に移る。（第５図の２０）　この為、先
ず、主記憶手段２に存在する述語を規定するＰ−ｔａｂ
ｌｅをしらべる。述語Ｑは存在することから述語Ｑの存
在場所をめ、それに従って述語Ｑの処理を行う。

次にＲの実行に移る（第５図の３０）。同様にＰ−ｔａ
ｂｌｅをしらべると述語Ｒが主記憶手段２に存在しない
ことがわかる。実行手段３は記憶制御手段４に制御を伝
え、述語Ｒを主記憶手段２へ取り込むよう指示する。

記憶制御手段４は、主記憶手段２のＤ−ｔａｂｌｅを用
いて述語孔が存在する大容量記憶手段１の位置を知り、
主記憶手段２の開きエリアに転送する。

この時、述語Ｒが第４図に示すように複数個の事実と規
則とから成るが、述語名Ｒを持つ全てのもの（手続き又
はプロシージャと呼ぶ）を一度に転送する（第５図の４
０）。そして、転送位置をＰ−ｔａｂｌｅに登録する。

この結果、実行手段３は述語孔の実行を続ける（第５図
の４０）。上記述語孔の転送時に、主記憶手段２に開き
エリアが存在しない時には、最も参照頻度の低い述語が
格納されている領域が転送エリアとして選択される。勿
論、必要なエリアが確保されるまでこの操作が行われる
が、このようなメモリ管理は汎用計算機の場合と同様で
ある。

又、上記参照頻度を貯える為の操作も、述語が実行され
るごとに行う。

以上の処理を行うのが記憶制御手段４で、通常の論理ゲ
ートＩＣを用いて構成することができる。

以上、本発明を用いた一実施例について述べた。

【図面の簡単な説明】

第１図はＰｒｏｌｏｇプログラムの事実と規則の例を示
す図、第２図はＰｒｏｌｏｇプロクラムの問い合わせの
例を示す図、第３図は本発明を用いた記憶制御装置のブ
ロック図、第４図は大容量記憶手段と主記憶手段の内部
状態を示す概念図、第５図は実行フローを示す図を各々
に示す。 図において、参照数字１は大容量記憶手段、２は主記憶
手段、３は実行手段及び４は記憶制御手段を示す。 オ　１　図 オ　２　図 オ　３　図 第４　図 第５図

Claims (1)

【特許請求の範囲】
1. 述語名と複数個の変数とから成る述語で構成する事実と
   規則を貯える大容量記憶手段と、該大容量記憶手段に記
   憶された情報の内の一部を貯える主記憶手段と、該事実
   と規則に対する問合せを処理する実行手段及び核間合せ
   処理の実行中に該主記憶手段に存在しない述語に遭遇し
   た時間−名の述語を持つ事実と規則から成る手続きを単
   位として該大容量記憶手段から該主記憶手段へ取り込む
   制御を行う記憶制御手段とを具備し、手続き単位で大容
   量記憶装置と主記憶装置間で事実と規則の転送を行うこ
   とを特徴とする述語論理型プログラム記憶制御装置。