JPS63159936A - 論理型言語プログラムのコンパイル方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、Ｐｒｏｌｏｇで代表される電子計算機用論理
型言語で記述されたプログラムのコンパイル方式にかか
わり、パイプライン型ベクトル計算機または並列型ベク
トル計算機による人工知能プログラムの高速実行を目的
とする。

〔従来の技術〕

最初に、論理型言語によるプログラムの表現についての
べる。

論理型言語においては、述語論理における命題（論理型
言語においてはｒ節」とよぶ）をつぎのような形式で記
述する。

ｂｉｒｄ　（ｓｗａｌｌｏｗ）、　　　　　　　　　　
　−＝■ｆｌｙ（Ｘ）ニーｂｉｒｄ（Ｘ）、　　　　　
　　　−−■節■「ツバメは鳥であるｊという意味であ
る。

また１節■は「Ｘが鳥ならＸは空をとぶ」という意味で
ある。節の先頭の名前（■においてはｂｉｒｄ、■にお
いてはｆｌｙ　）を手続き名または述語名という、同一
の述語名をもつ節の集合を「手続き」または「述語」と
いう、プログラムが節■および節■だけからなっている
とすれば、節■および節■はそれぞれ単独でひとつの手
続きを構成する。

大文字ではじまる名前（この例ではＸがそれにあたる」
は「論理変数」とよばれ、不特定のものをあられす、そ
れに対して小文字ではじまる名前　１（この例ではｓｗ
ａｌｌｏｗがそれにあたる）は「定数」とよばれ、特定
のものあるいは数をあられす、論理変数はＦｏｒｔｒａ
ｎなとのプログラム言語における変数とはちがって、い
ったん値がきまると「失敗」がおこらないかぎりその値
を変更することができない、すなおち１通常の意味での
代入をおこなうことはできない。

■および■がプログラムとして論理型言語システムにあ
たえられているとき、つぎの■のような質問を発するも
のとする。「質問」はＦｏｒｔｒａｎ言語における主プ
ログラムに相当する。

？　−ｆｌｙ（ｓｗａｌｌｏｗ）、　　　　　　　　　
　−−■その結果は［真」となる、ここで質問■は「ツ
バメは空をとぶか？」という意味である。

また、プログラム■はつぎのようにつかうこともできる
。

？　−ｆｌｙ（Ｙ）、’　　　　　　　　　　　　　　
・・・・・・■その結果、Ｙ　＝ｓｗａｌｌｏｖという
解かえられる。

ここで質問■は［空をとぶものはなにか？」という意味
である。すなわち、Ｙは論理変数であり、これにあては
まるものはなんであるかを質問している。そして、ｆｌ
ｙ（ｓｗａｌｌｏｗ）は「ツバメは空をとぶ」あるいは
「空をとぶのはツバメであるＪという意味である。

質問■を構成しているｆｌｙ（ｓｗａｌｌｏｗ）および
質問■を構成しているｎｙ（ｙ）を手続きｆｌｙの「手
続きよびだし」とよぶ、同様に、節■にあられれるｂｉ
ｒｄ　（Ｘ　）は手続きｂｉｒｄの手続きよびだしであ
る。

手続きよびだしはＦｏｒｔｒａｎ言語におけるサブルー
ティンよびだしに相当する。

同一のプログラムが質問■および■のように入力と出力
をとりかえても動作するという性質を「双方向性」とよ
ぶ（ｆｌｙの引数は質問■においては入力であり、質問
■では出力である）、双方向性は論理型言語プログラム
の特徴的な性質のひとつである。

また、上記の■および■にくわえてつぎの■のプログラ
ムを記述すると、質問■の解はＹ＝ｓｗａｌｌｏｗとＹ
＝ｈａｎのふたとおりになる（この場合、手続きｂｉｒ
ｄは２個の節から構成されることになる。） ｂｉｒｄ　（ｈｅｎ）、　　　　　　　　　　　　　　
・＝　・−■このように複数の解が存在する場合がある
ということも、論理型言語プログラムの特徴的な性質の
ひとつである。

質問？　−ｆｌｙ（Ｙ　）の実行前には論理変数又は不
特定のものをあわしているが、実行中にはｓｗａｌｌｏ
ｗという定数とむすびつけられている。このように論理
変数が特定のものをあられしていることを「具体化され
ている」といい、特定のものをあらわしていないことを
「具体化されていない」という。

つづいて、論理型言語の逐次実行方式についてのべる。

例として第２図のプログラム２００を使用する。

まずプログラム２００の意味を説明する０節２０１〜２
０５はそれぞれつぎのような意味である。

節２０１　「ペンギンは鳥である」。

節２０２　「ツバメは烏である」。

節２０３　「ニワトリは鳥である」。

節２０４　「ペンギンは空をとべない」。

節２０５　［ニワトリは空をとべない」。

節２０１９節２０２および節２０３が手続きｂｉｒｄを
構成し、節２０４および節２０５が手続きｃａｎｎｏｔ
Ｆｌｙを構成している。

また、質問２０６はつぎのような意味である。

「鳥であって空をとべないものをすべて出力せよ」。

より正確にいうと、ｒｂｉｒｄ（Ｘ）およびｅａｎｎｏ
ｔＦｌｙ（Ｘ）をみたす論理変数Ｘ値をさがして出力す
るという動作をすべての解についておこない、別解がな
くなったら結果を「偽」とせよ」という意味である。質
問２０６は４つの手続きよびだしｂｉｒｄ（Ｘ）、　ｃ
ａｎｎｏｔＦｌｙ（Ｘ）ｅ　ｗｒｉｔｅ（Ｘ）、　ｆａ
ｉｌから構成されている。

第３図は質問２０６の逐次実行方式を記述した図である
。この図をつかって論理型言語の逐次実行方式を例説す
る。まず論理変数Ｘが具体化されていない状態で手続き
よびだしｂｉｒｄ３０１が実行される。　ｂｉｒｄ（Ｘ
）にマツチ（ユニファイ）する節は２０１〜２０３の３
個あるが、そのうち最初にあられれる節２０１が選択さ
れる。その結果、論理変数又はｐｅｎｇｕｉｎに具体化
される。つぎに手続きよびだしｃａｎｎｏｔＦｌｙ　３
０２　が実行される。論理変数Ｘはｐｅｎｇｕｉｎに具
体化されているので、節２０４〜２０５のうちで節２０
４だけがマツチする。それから手続きよびだしｗｒｉｔ
ｅ３０３　が実行される。論理変数Ｘは定数ｐｅｎｇｕ
ｉｎに具体化されているので、ひとつの解’ｐｅｎｇｕ
ｉｎ’　　が出力装置に表示される。さらに手続きよび
だしｆａｉｌ３０４が実行される。

手続きｆａｉｌは「別解をさかせ」という意味の手続き
なので、まず手続きよびだしＣａｎｎｏｔＦｌｙに関し
て別解をさがす。この動作を１手続きｃａｎｎｏｔＦｌ
ｙをｒリトライする」という、この場合、Ｘが定数ｐｅ
ｎｇｕｉｎに具体化されているかぎり別解は存在しない
ので、リトライによってｃａｎｎｏｔＦｌｙは引数Ｘに
結果をかえさない、したがって、論理変数Ｘの値を３０
１以前の状態にもどす、すなわち具体化されていない状
態にしてから１手続きｂｉｒｄをリトライする（３０５
）、すなわち、手続きよびだしｂｉｒｄに関して別解を
さがす、このように論理変数の値をもとにもどして手続
きよびだしを再実行することをｒバックトラック」とい
う、処理３０５の結果、解がみつかり、論理変数Ｘは定
数ｓｗａｌｌｏｗに具体化される。つぎに手続きよびだ
しＣａｎｎ０ｔＦｌｙ３０６が実行される。論理変数Ｘ
は定数ｓｗａｌｌｏｗに具体化されているので、節２０
４〜２０５のなかにはマツチするものがない。したがっ
て実行は失敗し、ふたたびＸの値を具体化されていな状
態にしてから手続きよびだしｂｉｒｄを再度リトライす
る（３０７）。

３０７〜３２０の実行は３０１〜３０４の実行と同様に
おこなわれるので説明は省略する。最後にふたたびＸの
値を具体化されていない状態にしてから手続きｂｉｒｄ
をリトライする（３１１）、Ｌ／かし、もはや別解は存
在しないので質問２０６の結果はｒ偽ｊとされて実行が
終了する。

以上のように逐次的に実行されるプログラムを生成する
コンパイル方式については、たとえばつぎの文献（１）
に記述されている。゛ 文献（１）インプリメンティング　プロログーーコンパ
イリング　プレデイケイト　ロジックプログラムズ、エ
ディンバラ大学人工知能学部　ディー・エイ・アイ　リ
サーチ　レポート　第３９号（Ｉｍｐｌｅｍｅｎｔｉｎ
ｇ　ＰＲＯＬＯＧ　−−ＣｏｍｐＨｉｎｇ　Ｐｒｅｄｉ
ｃａｔｅ　Ｌｏｇｉｃ　Ｐｒｏｇｒａｍｓ、Ｄ。

＾、１．Ｒａ５ａａｒｃｈ　Ｒｅｐｏｒｔ　Ｎａ　３９
　、Ｄｅｐａｒｔｍｅｎｔｏｆ　Ａｒｔｉｆｉｃｉａｌ
　Ｉｎｔｅｌｌｉｇｅｎｃｅ、Ｕｎｉｖｅｒｓｉｔｙｏ
ｆ　Ｅ！ｄｉｎｂｕｒｇｈ）　＊ 特願昭５９−１８６３２１号（１９８４，９、７出願）
でのべられているように、論理型言語の実行を飛躍的に
高速化するための有力な方法として、パイプライン型ベ
クトル計算機あるいは並列型ベクトル計算機がもつ高速
ベクトル演算機構を使用する方法がある。ここで「ベク
トル演算」とは、ベクトルすなわち同種の複数の要素か
らなるデータの各要素に対して同種の演算をおこなうこ
とをいう０通常、ベクトル演算では要素を一定間隔で連
続領域に配置したデータ構造（いわゆる配列）を演算対
象とするが、ここではリストの各要素に対して同種の演
算をおこなうこともベクトル演算とよぶ、そして、「ベ
クトル計算機」とはベクトル演算命令をもつ計算機のこ
とをいう。

ベクトル計算機の例としては日立製作所のＳ−８１０な
どがある。第４図を使用してＳ−８１０の演算装置につ
いて説明する。Ｓ−８１０においては、第４図にしめず
ようなパイプライン機構によって、配列データの演算高
速に実行することができる。たとえば、主記憶装置４２
１上にある配列データ４０１にふくまれる各データをロ
ード・パイプライン４０２によって連続的にベクトル・
レジスタ４０３にロードする。ロード・パイプラインと
は、短ピツチで配列データ全体（または一部）をロード
することができる。配列データ計算専用のハードウェア
である。また、ベクトル・レジスタとは配列データ全体
（または一部）の値を保持することができる大容量のレ
ジスタである。

４０１〜４０３と同様にして配列データ４０３にふくま
れるデータをロード・パイプライン４０５によってベク
トル・レジスタ４０６にロードする。

ベクトル・レジスタは、最初の要素がかきこまれるとた
だちにそのよみだしが可能になる。したがって、ベクト
ル・レジスタ４０３および４０６に最初のデータがかき
こまれるとただちに演算装ｅ４０７によって演算が開始
され、連続的に演算が実行される。そして、演算結果は
ベクトル・レジスタ４０８にかきこまれていく、演算装
置も配列演算専用につくられたパイプライン演算装置で
あり、ベクトル・レジスタ４０３および４０６とおなじ
ピッチで演算することができる。ベクトル・レジスタ４
０８に最初のデータががきこまれるとただちにストア・
パイプライン４０９によって配列データ４１０＾の格納
が開始され、連続的に格納されていく。

このように、ベクトル計算機においては配列データのロ
ード、演算、格納がパイプラインによっておこなわれる
ため、配列データに関しては汎用計算機にくらべてはる
かに高速な配列演算が可能になっている。

ベクトル計算機による論理型言語プログラムの実行方式
については、前述の特許出願およびっぎの文献（２）で
のべている。

文献（２）スーパー・コンピュータによるＰｒｏｌｏｇ
の高速実行、第２６回プログラミング・シンポジウム報
告集第４７頁から第５６頁。

１９８５年。

の例をベクトル計算機で実行する方法について第５図を
つかってのべる。

第５図は、ベクトル計算機による第２図のプログラムの
実行方式を記述した図である６手続きよびだしｂｉｒｄ
５０１は、手続きｂｉｒｄをみたすすべての解をもとめ
てそれらからなる配列データを５０２とする。すなわち
第３図３０１，３０５，３０７および３１１に対応する
処理をベクトル演算としておこない、その結果えられる
Ｘの値を配列データ５０２とする。したがって配列デー
タ５０２は、ｐｅｎｇｕｉｎ、　ｓｗａｌｌｏｗ、　ｈ
ｅｎという３個の定数からなる配列データとなる。配列
データ５０２の先頭にはその要素数３が格納されている
各配列データの先頭にはその要素数を格納する６また。

要素数データは配列の要素とはみなさない、たとえば、
配列データ５０２の第１要素は３ではなく　ｐｅｎｇｕ
ｉｎであり、第２要素はｓｗａｌｌｏす、第３要素はｈ
ｅｎである。このことは後に述べる実施例でも同様であ
る。

手続きよびだしｃａｎｎｏｔＦｌｙ５０３　は配列デー
タ５０２を入力して、その要素のうちで手続きｃａｎｎ
ｏｔＦｌｙをみたすすべての解をもとめてそれらからな
る配列データを５０４とする。すなわち、配列データ５
０２の要素ｐｅｎｇｕｉｎに対しては第３図３０２、ｓ
ｗａｌｌｏｗに対しては第３図３０６゜ｈｅｎに対して
は第３図３０８に対応する処理をベクトル演算としてお
こなうことによって、ｃａｎｎｏｔＦｌｙ（Ｘ）をみた
すＸがｐｅｎｇｕｉｎ、　ｈｅｎの２個であることを判
定し、それらからなる配列データ５０４をもとめる。し
たがって、配列データ５０４はｐｅｎｇｕｉｎ、　ｈｅ
ｎという２個の定数からなる配列データとなる。

手続きよびだしｗｒｉｔｅ　５０４　は配列データ５０
４を入力して、その要素すべてを出力装置に表示する。

すなわち、第３図３０３および３０９に対応する処理を
おこなう、したがって、出力装置にｐｅｎｇｕｉｎおよ
びｈｅｎを表示する。

最後に手続きよびだし５０６を実行するが。

ｂｉｒｄ　５０１　、　ｃａｎｎｏｔＦｌｙ　５０３　
ではすべての解がもとめられているので、質問２０１の
結果は「偽Ｊとされて実行が終了する。

〔発明が解決しようとする問題点〕

まず、問題点を説明する前に第６図のプログラム６００
について説明する。

プログラム６００は０から３までの整数のうち平方数で
あるものをもとめるプログラムである。

平方数とは平方根が整数である数のことである。

０＝Ｏ”　、１＝１”　でｔｂるから、　解ｊｔＯと１
の２つである。第６図のプログラムは質問６０１、手続
きｒｏｏｔ６０２．手続きｄｉｇｉｔ６０３　　という
３個の部分から構成されている。

質問６０１は手続きｒｏｏｔ　６０２および手続きｄｉ
ｇｉｔ　６０３　　をよびだすことによって平方数を計
算し、それを印刷する。質問６０１はさらにｄｉｇｉｔ
（Ｂ）　、　ｒｏｏｔ（Ｂ、Ａ）　、　ｗｒｉｔｅ（Ｂ
）　、ｆａｉｌという４つの部分から構成されている。

　ｄｉｇｉｔ（Ｂ）は論理変数Ｂを引数として手続きｄ
ｉｇｉｔをよびだす部分である。　ｒｏｏｔ（Ｂ、Ａ）
は論理変数ＢおよびＡを引数として手続きｒｏｏｔをよ
びだす部分である。

ｗｒｉｔｅ（Ｂ　）は論理変数Ｂの値を印刷するために
くみこみ手続きｗｒｉｔｅをよびだす部分である。ここ
で、くみこみ手続きとは論理型言語システムにあらかじ
め用意されていて、ユーザがその処理方法をあたえなく
ても使用することができる手続きのことである。　ｆａ
ｉｌもくみこみ手続きであり、すべての解がつくされる
までｒｏｏｔ（Ｂ、Ａ）およびｄｉｇｉｔ（Ｂ）をリト
ライし、ｄｉｇｉｔ（Ｂ）　、　ｒｏｏｔ（Ｂ、Ａ）　
。

ｗｒｉｔｅ（Ｂ　）をくりかえし実行させる。

手続きｒｏｏｔ　６０２は唯一の節から構成されている
０節６０２は頭部ｒｏｏｔ（Ｙ＊Ｘ）、本体ｄｉｇｉｔ
（ＸＬＹｉｓＸ串Ｘ、そしてそれらをつなぐニーとから
構成されている０頭部は手続き名と引数とをしめしてい
る。すなわち手続きｒｏｏｔ６０２は引数ＹおよびＸを
うけとる。質問６０１におけるｒｏｏｔのよびだしでは
Ｙ＝Ｂ、Ｘ＝Ａである０手続きｒｏｏｔ６０２（ＩＦ）
本体はｄｉｇｉｔ（Ｘ）およびＹｉｓＸ＊Ｘという２つ
の部分から構成されている。　ｄｉｇｉｔ（Ｘ）は論理
変数Ｘを引数として手続きｄｉｇｉｔをよびだす部分で
あるｓ　Ｙ　ｉｓ　Ｘ　”　Ｘは論理変数Ｘの値を２乗
してＹと比較するくみこみ手続きである。これらのうち
ｄｉｇｉｔ　（Ｘ　）は質問６０１の手続きよびだしｆ
ａｉｌによってひきおこされる手続きｒｏｏｔのリトラ
イ時にリトライされ、ことなる引数の値を出力する。

手続きｄｉｇｉｔ６０３　は４個の節から構成されてい
る。第１節ｄｉｇｉｔ（１）を実行するとｄｉｇｉｔの
よびだしにおける引数の値を１にする。第２〜４節も同
様である１以上で第６図のプログラム６００についての
説明をおわる。

つぎに、第６図のプログラム６００を従来の技術によっ
てベクトル計算機で実行させようとする場合の問題点に
ついて、第２図のプログラム２００の場合と対比しなが
ら説明する。

第２図のプログラム２００においては１手続きｂｌｒｄ
がよびだしおよびリトライごとにことなる引数を出力す
るために１手続きよびだしｃａｎｎｏｔＦｌｙ（Ｘ）は
複数回（Ｎ回）よびだされる、しかし、手続きｃａｎｎ
ｏｔＦｌｙのリトライが成功してその引数に値がかえさ
れることはない（よびだし時には。

成功して引数に値がかえされる場合と、そうでない場合
とがある）、そのため、第５図の実行方式においては、
　ｂｌｒｄ５０１の実行によって論理変数Ｘに対応する
配列データとして複数個の値すなわちｐｅｎｇｕｉｎ、
　ｓｗａｌｌｏｗおよびｈｅｎからなる配列データ５０
２があたえられたあとは、その要素ｐｅｎｇｕｉｎおよ
びｈｅｎからはそれぞれ１個の解、ｓｗａｌｌｏｗから
は０個の解がえられる結果として、配列データ５０４が
えられる。このように演算前の配列要素が演算後の１個
または０個の配列要素と対応する場合には前述の特許出
願にしめした方法であつかうことができる。すなわち、
Ｓ−８１０等のベクトル計算機にそなえられたベクトル
演算命令をくみあわせることによって容易に実施するこ
とができる。。

しかし、第６図のプログラム６００においてはそうでは
ない０手続きよびだしｄｉｇｉｔ　（Ｙ　）がよびだし
およびリトライごとにことなる引数データを出力するた
めに、手続きよびだしｄｉｇｉｔ　（Ｘ　）は複数回（
Ｎ回）よびだされる、それによって、プログラム２００
とはちがってよびだしおよびリトライごとにことなる引
数データが出力される。そのため、演算前の論理変数Ｙ
の値を要素とする配列データを第２の配列データとし、
演算後の引数データＸの値を要素とする配列データを第
１の配列データとすると、これらの要素は対応しない、
ところが、既存のベクトル計算機には、このような対応
しない要素どうしの演算をおこなうベクトル演算命令は
存在しない、したがって、プログラム６００は前述の特
許出願の方法ではあつかうことができない、前述の文献
（２）においては、このように配列データのひとつの要
素から複数の配列要素が生成される例として、Ｎクウイ
ーン問題とよばれるパズルをとくプログラムにおける手
続き５ｅｌｅｃｔをあげ、その入力データおよび出力デ
ータについて説明している。しかし、その計算を実行す
るプログラムはあたえていない。

〔問題点を解決するための手段〕

上記の問題点は、論理型言語の原始プログラムを目的プ
ログラムに変換するコンパイラにおいて、１　、（１）
よびだしまたはリトライによって実行され、実行ごとに
ことなる所定の第１の処理をおこなって引数データを出
力するようにプログラムされた第１の原始プログラム部
分と、（２）（イ）第１の原始プログラム部分のよびだ
しおよび複数回のリトライを指示し、（ロ）よびだしお
よびリトライによって第１の原始プログラム部分から出
力された複数の引数データに対して所定の第２の処理を
実行し、（ハ）該ステップ（イ）、（ロ）をＮ回くりか
えし実行するようにプログラムされた第２の原始プログ
ラム部分と からなるプログラムを。

（３）　（ａ）第１の処理のそれぞれを入力データで指
定された回数すなわちＮ回分まとめて連続的に実行し、
（ｂ）それらの処理によってえられる引数データのそれ
ぞれの値を要素とする第１の配列データを生成して出力
する第１の目的プログラム部分と、 （４）（ｃ）　＜りかえし回数Ｎを指定して第１の目的
プログラム部分を実行させ、（ｄ）第１の目的プログラ
ム部分によって出力された第１の配列データの各要素に
対する第２の処理を連続的に実行する第２の目的プログ
ラム部分と に変換することにより解決される。

〔実施例〕

（１）ベクトル比較命令およびベクトル圧縮命令の説明 実行方法の説明の準備として、実行時に使用するベクト
ル演算命令の一種であるベクトル等値性比較命令とベク
トル圧縮命令について説明する。

第７図はベクトル等値性比較命令の動作をしめす、ベク
トル等値性比較命令はそのオペランドで指定されたベク
トル・レジスタ８０１にふくまれる配列データ８０１お
よび８０２の各要素を比較して、結果をベクトル・マス
ク・レジスタ８０３に格納する。ベクトル・マスク・レ
ジスタは各要素が１　ｂｉｔの論理値である配列データ
を格納するレジスタである。第７図ではその論理値を１
およびＯであられしている。比較の結果ひとしかった要
素に対応するベクトル・マスク・レジスタ８０３の要素
の値は１とし、ひとしくなかった要素に対応する要素は
Ｏとする。第７図においてはベクトル・レジスタ８０１
および８０２の第１要素の値がともに１であるため、ベ
クトル・マスク・レジスタ８０３の第１要素の値は１と
なっている。また、ベクトル・レジスタ８０１および８
０２の第２要素は６および４でひとしくないので、ベク
トル・マスク・レジスタ８０３の第２要素の値はＯとな
っている。第３〜最終要素についても同様である。

ベクトル計算機Ｓ−８１０には、ベクトル等値性比較命
令ＶＣＥＱがそなえられている。

第８図はベクトル圧縮命令の動作をしめす、ベクトル圧
縮命令はそのオペランドで指定されたベクトル・レジス
タ９０１の値を、ベクトル・マスク・レジスタ９０２の
内容にしたがって、主記憶４２１またはベクトル・レジ
スタ９０３に圧縮・格納する命令である。第８図におい
てはベクトル・マスク・レジスタ９０２の第１要素の値
が１であるから、ベクトル・レジスタ９０１の第１要素
の値を主記憶４２１またはベクトル・レジスタ９０３に
格納する。ベクトル・マスク・レジスタ９０２の第２要
素の値はＯなのでベクトル・レジスタ９０１の第２要素
の値は格納しない、ベクトル・マスク・レジスタ９０２
の第３要素の値は１であるから、ベクトル・レジスタ９
０１の第３要素の値は格納するがその際１図のようにつ
めて格納する。すなわち、主記憶４２１またはベクトル
・レジスタ９０３の第２要素に対応する部分に格納する
。以下の要素についても同様である。

ベクトル計算機Ｓ−８１０においては主記憶４２１への
格納をおこなうベクトル圧縮命令ＶＳＴＣ，ＶＳＴＤＣ
がそなえられている。

（２）目的プログラム コンパイラは後述する方法により第６図のプログラム６
００を第１図の目的プログラム１００に変換する。コン
パイルは汎用計算機上でおこなえばよい。

まず、第１図にしめした目的プログラム１００の構成に
ついて説明する。目的プログラム１００はつぎの３つの
部分で構成される。

（１）質問６０１のコンパイル結果である質問の目的プ
ログラム１０１゜ （２）手続きｒｏｏｔ　６０２のコンパイル結果である
手続きｒｏｏｔの目的プログラム１０２゜（３）手続き
ｄｉｇｉｔ　６０３　のコンパイル結果である手続きｄ
ｌｇｌｔの目的プログラム１０３゜これらのうち計算中
に演算前の配列データのひとつの要素から複数の配列要
素が生成されるのは手続きｄｉｇｌｔだけである。１０
１〜１０３の各部分はそれぞれさらにつぎの各部分から
構成されている。

（１）、質問６０１のコンパイル結果である質問の目的
プログラム１０１゜ （１，１）第６図の論理型言語プログラムには直接対応
する部分のない質問初期設定部１０９゜（１，２）　１
間６０１における手続きよびだしｄｉｇｉｔ　（Ｂ　）
のコンパイル結果であるｄｉｇｉｔ（Ｂ）よびだし部１
１０゜ （１，３）質問６０１における手続きよびだしｒｏｏｔ
（Ｂ、Ａ）のコンパイル結果であるｒｏｏｔ（Ｂ、Ａ）
よびだし部１１１゜ （１，４）質問６０１におけるくみこみ手続き％１ｒｉ
ｔａのコンパイル結果である質問くみこみ手続き処理部
１１２゜ （２）手続きｒｏｏｔ６０２のコンパイル結果である手
続きｒｏｏｔの目的プログラム１０２゜（２，１）第６
図の論理型言語プログラムには直接対応する部分のない
ｒｏｏｔ初期設定部１１４゜（２，２）手続きｒｏｏｔ
　６０２本体における手続きよびだしｄｉｇｉｔ　（Ｘ
　）のコンパイル結果であるｄｉｇｉｔ　（Ｘ　）よび
だし部１１５゜（２，３）手続きｒｏｏｔ　６０２本体
におけるくみこみ手続きＹｉｓＸ＊Ｘのコンパイル結果
であるｒｏｏｔ　＜みこみ手続き処理部１１６゜なお、
仮引数にリストなどの構造体パタンをふくむ論理型言語
プログラムのコンパイルにおいては、１１５〜１１６の
ほかに引数のバタン・マツチをおこなう引数ユニフィケ
ーション処理部が必要だが、第６図のプログラムにおい
ては仮引数（節６０２の頭部にあられれるｙ、ｘ）は論
理変数なので、引数ユニフィケーション処理部は必要が
ない、引数ユニフィケーション処環部はくみこみ手続き
処理部１１６と同様のあつかいとすればよいので、それ
をふくむ実施例はしめさない。

（３）手続きｄｉｇｉｔ　６０３　のコンパイル結果で
ある手続きｄｉｇｉｔの目的プログラム１０３゜（３，
１）第６図の論理型言語プログラムには直接対応する部
分のないｄｉｇｉｔ初期設定部１１９゜ （３，２）主記憶４２１上のデータを節の数だけ、複写
する複写部１２０゜ （３，３）手続きｄｉｇｉｔ　６０３　の第１節に対応
する第１節対応部１２１、第２節に対応する第２節対応
部１２２、第３節に対応する第３節対応部１２３および
第４節に対応する第４節対応部１２４゜ （３，４）複写部１２０で複写された配列データをそれ
ぞれ併合する併合部１２５゜ （３）　目的プログラム１００の実行手順つぎに、第１
図の目的プログラム１００の実行手順を第９Ａ〜９Ｇ図
をつかって説明す為。

まず、質問初期設定部１０９が実行され、１００１にし
めすデータが生成される。すなわち、質問の目的プログ
ラム１０１内で使用するすべての変数データ領域すなわ
ち変数Ａに対応する配列データのポインタ領域１０２Ｏ
Ａおよび論理変数Ｂに対応する配列データのポインタ領
域１０２０Ｂを主記憶４２１にわりあてる。また、要素
が１個の配列データ領域１０２１および配列データ領域
１０２２を主記憶４２１にわりあて、それらの先頭アド
レスを変数領域１０２０に格納する。配列データ領域１
０２１の先頭１０２３にはその要素数１を格納する。配
列データ領域１０２２についても同様である。また、配
列データ１０２１および１０２２の要素には、その値が
未定であることをしめす値°ｕ′を格納する。

つぎに、ｄｉｇｉｔ（Ｂ　）よびだし部１１０およびよ
びだされた手続きｄｉｇｉｔの目的プログラム１０３の
処理をおこなう、すなわち、配列データ・ポインタ１０
２０Ｂを引数として手続きｄｉｇｉｔの目的プログラム
１０３を起動し、実行する。その結果１００２にしめす
データが生成される。この一連の処理は１００３〜１０
０６にしめすｄｉｇｉｔ　（Ｘ　）よびだしの処理と同
様におこなわれるので、詳細は省略する。結果として出
力されるデータはつぎのとおりである。ポインタ領域１
０２０Ａ。

１０２０Ｂから１手続きｄｉｇｉｔ内で主記憶４２１に
わりあてられた要素が４個の配列データ１０２４および
１０２５を指示している。配列データ１０２４はその先
頭に要素数４をふくみ、要素の値はすべて′ｕ′である
。すなわち、要素の値はすべて未定である。また、配列
データ１０２５はその先頭に要素数４をふくみ、要素の
値は１．２，３．Ｏである。

つづいて、ｒｏｏｔ（Ｂ、Ａ）よびだし部１１１の処理
をおこなう、すなわち、配列データ・ポインタ１０２０
Ｂ、１０２０Ａを引数として手続きｒｏｏｔの目的プロ
グラム１０２をよびだす。手続きｒｏｏｔの目的プログ
ラム１０２の実行が開始されると、まずｒｏｏｔ初期設
定部１１２を実行し、その後ｄｉｇｉｔ（Ｘ）よびだし
部１１５を実行する。　ｄｉｇｉｔ（Ｘ）よびだし部１
１５の実行が開始されると、まずｄｉｇｉｔ初期設定部
１１９を実行する。これらの一連の処理をおこなったの
ちの主記憶４２１上のデータは１００３にしめしたよう
になる。１００３においては、１００２にしめしたデー
タはそのまま存在し、それにくわえて１０３１および１
ｏ３２が存在する。１０３２はｒｏｏｔ初期設定部１１
４でねりあられたポインタ領域であり、１０３１はｄｉ
ｇｉｔ初期設定部１１９でわりあてられたポインタ領域
である。

複写部１２０の処理はっぎのとおりである。主記憶４２
１上に存在する一連のデータ１０２０゜１０３１．１０
３２，１０２４を複写して、構造が同一である４組のデ
ータをつくる。すなわち、もとの手続きｄｉｇｉｔ　６
　Ｑ　３における節の数だけの複写データをつくる。そ
の結果をしめしたのが１００４である。複写データのう
ちの最初の組はもとのデータ１０７０であり、２番めの
組は１ｏ７１である。また、３番めの組は１０７２であ
る。さらに、４番めの組は１０７３である。この複写処
理はつぎのようにおこなわれる。主記憶４２１上に配列
データ１０２４と同一のおおきさの領域を３つすなわち
１０３６，１０４０，１０４４をとり、そこに配列デー
タ１０２４の内容を複写する。

また、１０２０．１０３２および１０３１と同一のおお
きさの領域をそれぞれ３つとる。すなわち、１０３３．
１０３７，１０４１，１０３４，１０３８゜１０４２．
１０３５，１０３９．１０４３をわりあてる。これらの
領域には、１００４にしめしたように１０３５．１０４
０および１０４４の先頭アドレスを格納する。配列デー
タ１０２５も同様に４組複写し、配列データ１０８０．
１０８１および１０８２を生成する。

複写部１２０の実行がおわると、第１節対応部１２１、
第２節対応部１２２．第３節対応部１２３、第４節対応
部１２４を実行する。これらの実行順序は任意であり、
並列に実行することもできるが、この実施例においては
この順に実行する。１２１〜１２４の実行後の主記憶４
２１上のデータを１００５にしめす、第１節対応部１２
１はこれらのデータのうち１００４における第１の複数
１０７０を入力し、１００５におけるそれを出力する。

第２筋対応部１２２はこれらの複写データのうち１００
４における第２の複写データ１０７１を入力し、１００
５におけるそれを出力する。第３節対応部１２３はこれ
らの複写データのうち１００４における第３の複写デー
タ１０７２を入力し、１００５におけるそれを出力する
。第４節対応部１２４はこれらの複写データのうち１０
０４における第４の複写データ１０７３を入力し、１０
０５におけるそれを出力する。配列データ１０２５，１
０８０゜１０８１および１０８２は１２１〜１２４の実
行によって変化しない。

第１節対応部１２１の処理はつぎのとおりである１手続
きｄｉｇｉｔ　６０３　の引数に対応する領域１０３１
が指示する配列データの各要素に１を格納する。第２節
対応部１２２、第３節対応部１２３゜第４節対応部１２
４も同様におこなわれる。すなわち、それぞれ１０３３
，１０３７，１０４１が指示する配列データ１０３６，
１０４０，１０４４の各要素に２．３．Ｏを格納する。

これらの演算は汎用の命令を使用しておこなうこともで
きるが。

ベクトル演算命令を使用することによってより高速にお
ζなうことができる。

併合部１２５では配列データ１０２４，１０３６゜１０
４０および１０４４の併合処理と配列データ１０２５．
１０８０，１０８１．１０８２の併合処理とをおこなう
、配列データ１０２４の併合処理はつぎのとおりである
。配列データ１０２４゜１０．３６，１０４０および１
０４４の要素数を加算し、その結果すなわち１６を要素
数とする配列データ領域１０４６を主記憶４２１上にわ
りあてる。配列データ１０２４，１０３８．１０４０お
よび１０４４の要素数はそれらの先頭領域に格納されて
いる。配列データ１０４６の第１〜４要素の値は配列デ
ータ１０２４の各要素の値とひとしくシ、第５〜８要素
の値は配列データ１０３６の各要素の値とひとしくシ、
第９〜１２要素の値は配列データ１０４０の各要素の値
とひとしく、第１３〜１６要素の値は配列データ１０４
４の各要素の値とひとしくする。これらの併合処理は汎
用の命令を使用しておこなうこともできるが、ベクトル
演算命令を使用することによってより高速におこなうこ
とができる。

配列データ１０２５，１０８０，１０８１゜１０８２の
併合処理も同様におこない、すなわち１００３における
配列データ１０２５とそれを複写した３個の複写データ
１０８０，１０８１゜１０８２を併合して要素が１６個
の配列データ１０４７をつくる。１００６には配列デー
タ１０４６および１０４７の値が一部だけをしめしてい
るが。

１００７にはそのすべての値をしめしている。

併合部１２５の実行がおわると、ｄｉｇｌを終了処理部
１２６をへて手続きｒｏｏｔの目的プログラム１０２に
復帰し、　ｒｏｏｔ＜みこみ手続き処理部１１６を実行
する。ｒｏｏｔ＜みこみ手続き処理部１１６の計算はベ
クトル演算命令を使用しておこなう。

１００７〜１００９はｒｏｏｔ　＜みこみ手続き処理部
１１６におけるベクトル演算の過程におけるデータをあ
られす、１０５０．１０５１および１０５３はベクトル
・レジスタをあられす、１０５４はベクトル・マスク・
レジスタをあられす、１０５５および１０５６は主記憶
４２１上の領域をあられす。

ｒｏｏｔ　＜みこみ手続き処理部１１６ではまず配列デ
ータ１０４６の内容を１個のベクトル・レジスタ１０５
０にロードする。ただし、配列データ１０５０の先頭に
格納されている要素数はロードしない、１０５０には配
列データ１０４６のすべての値をしめしである。同様に
して配列データ１０．４７の内容をベクトル・レジスタ
１０５１にロードする。

つぎにベクトル・レジスタ１０５０の各要素を２乗して
えられた配列データをベクトル・レジスタ１０５３に格
納する。たとえば、ベクトル・レジスタ１０５０の第４
要素は２であるから、ベクトル俸レジスタ１０５３の第
４要素は２”　＝４となる。さらに、ベクトル・レジス
タ１０５１と１０５３の各要素を比較し、その結果をベ
クトル・マスク・レジスタ１０５４に格納する。この比
較は第７図を使用して説明したベクトル等値性比較命令
によっておこなう、ベクトル・レジスタ１０５１と１０
５３の各要素は、第１要素どうしと第１６要素どうしが
ひとしく、ほかの要素はことなるのでベクトル・マスク
・レジスタ１０５４の要素は第１要素と第１６要素とが
１、ほかの要素は０となる。

さらに、ベクトル・マスク・レジスタ１０５４の内容に
したがってベクトル・レジスタ１０５０および１０５１
の内容を圧縮し、それぞれ、あらたにわりあてた主記憶
４２１上の領域１０５５および１０５６に格納する。す
なわち、ベクトル・マスク・レジスタ１０５４の１であ
る第１．第１６要素に対応するベクトル・レジスタ１０
５０の要素１および０を１０５５に格納する。同様にベ
クトル・レジスタ１０５１の第１要ｉ１．第１６要素Ｏ
を主記憶４２１上の領域１０５６に格納する。この圧縮
処理はベクトル圧縮命令を使用しておこなうことができ
る。

ｒｏｏｔ　（みこみ手続き処理部１１６の最後の処理を
おこなったあとの主記憶４２１上のデータを１０１０に
しめす、この処理においては、主記憶領域１０５５およ
び１０５６の先頭にその要素数２を格納するとともに、
その先頭アドレスを１０２ＯＡ、１０２０Ｂ、１０３１
Ｘ、１０：３１Ｙに格納する。

以上の処理のあと、ｒｏｏｔ終了処理１１７をへて質問
の目的プログラムに復帰し、質問くみこみ手続き処理部
１１２において１０２０Ｂが指示する配列データ１０４
６の各要素すなわち１および０を印字出力する。その後
、実行を終了する。

（４）コンパイル方法 第６図の論理型言語プログラムを第１図の目的プログラ
ムに変換するコンパイル方法について。

第１１図を使用して説明する。

コンパイラは、１１００にしめすように１手続きごとに
くりかえし処理をおこなう、その際、質問も１つの手続
きとみなす、第６図のプログラムの場合は、質問６０１
１手続きｒｏｏｔ６０２、手続きｄｉｇｉｔ　６０３　
のそれぞれについて１１０１〜１１０６の処理をおこな
う。

まず、初期設定部を生成する。すなわち、質問６０１に
対しては質問初期設定部１０９、手続きｒｏｏｔ６０２
に対してはｒｏｏｔ初期設定部１１４、手続きｄｉｇｌ
ｔ　６０３　に対してはｄｉｇｉｔ初期設定部１１９を
生成する。

つぎに、変換前の手続きがリトライによって引数データ
を出力する（リトライが成功する）可能性があるかどう
かを判定する解散判定処理１１０２をおこなう、この処
理の内容については第１１図でさらに説明する。処理１
１０２の判定においてリトライによって引数データを出
力しない判定された場合は処理１１０３だけをおこない
、そうでない場合は処理１１０４，１１０３．１１０６
をこの順におこなう。

手続きｄｉｇｉｔ　６０３　　に対しては処理１１０４
゜１１０３．１１０６が実行される。処理１１０４では
複写部１２０を生成する。また、処理１１０５では手続
きｄｉｇｉｔ　６０３　の第１〜４節対応部１２１〜１
２４を生成する。さらに、処理１１０６では併合部１２
５を生成する。一方、質問および手続きｒｏｏｔ　６０
２に対しては処理１１０３が実行される。質問６０１に
対しては質問第１節対応部１４０を生成する。また、手
続き６０２に対してはｒｏｏｔ第１節対応部１４１を生
成する。質問第１節対応部１４０はさらにプログラム部
分１１０〜１１２から構成され、ｒｏｏｔ第１節対応部
１４１はプログラム部分１１５〜１１６から構成される
が、これらの部分の生成については第１２図で説明する
。

以上で第１図のプログラム１００のすべての部分の生成
をおわり、コンパイルは終了する。

つづいて第１１図をもちいて解散判定処理１１０２につ
いて説明する。まず、処理中のプログラムが質問かどう
かを判定しく処理１２０１）、質問であれば解散判定処
理１１０２の結果をＮｏとする。

質問でなければ、処理中の手続きが複数の節から構成さ
れているかどうかをしらべ、そうであれば解散判定処理
１１０２の結果をＹｅｓとする。また、そうでなければ
結果をＮｏとする０手続きｒｏｏｔ　６０２について解
散判定処理１１０２をおこなうと、手続きｒｏｏｔはた
だ１つの節から構成されているので、結果はＮｏとなる
０手続きｄｉｇｉｔ６０３は複数の節から構成されてい
るので、結果はＹｅｓとなる。

この判定方法では、実際にはリトライによって引数デー
タを出力する（リトライが成功する）ことがないのに結
果がＹｅｓとなることがある。この場合、不要な複写部
および併合部が生成され、実行時に不要な複写処理およ
び併合処理がおこなわれることになるが、実行結果はか
わらない。

最後に第１２図をつかって第１〜ｎ節対応部生成処理１
１０３について説明する。処理１１０３では処理中の手
続きのすべての節についてつぎにのべる処理１３０１を
節の順番にくりかえし実行する。第６図のプログラム６
００においては質問６０１、手続きｒｏｏｔ　６０２の
唯一の節、手続きｄｌｇｉｔ　８０３　の各節のそれぞ
れについて処理１３０１を実行する。

処理１３０１では処理中の節のすべての手続きよびだし
についてつぎにのべる処理１３０２〜１３０４を順番に
くりかえし実行する。プログラム６００の場合には、質
問６０１についてはｄｉｇｉｔ（Ｂ）　、　ｒｏｏｔ（
Ｂ、Ａ）　＃　ｗｒｉｔｅ（Ｂ）　ｔ　ｆａｉｌのそれ
ぞれについて処理１３０２〜１３０４を実行する。また
、手続きｒｏｏｔ６０２の唯一の節についてはｄｉｇｉ
ｔ（Ｘ）　、　Ｙ　ｉｓ　Ｘ傘Ｘのそれぞれにツレ１て
処理１３０２〜１３０４を実行する０手続きｄｉｇｉｔ
　６０３　は手続きよびだしふくまないので。

処理１３０２〜１３０４は実行しない。

処理１３０２は処理中の手続きよびだしかくみこみ手続
きのよびたしかどうかを判定する。プログラム６００の
場合には、ｗｒｉｔｅ（Ｂ）、　ｆａｉｌ、　ＹｉｓＸ
傘Ｘ　はそれぞれくみこみ手続きのよびだしだと判定さ
れる。また、ｄｉｇｉｔ（Ｂ）、　ｒｏｏｔ（Ｂ＊Ａ）
＋ｄｉｇｉｔ（Ｘ）はそれぞれくみこみ手続きではない
と判定される。

処理１３０２においてくみこみ手続きと判定された場合
は、処理１３０３を実行する。すなわち。

処理中のくみこみ手続きに対応する目的プログラム部分
を生成する。プログラム６００の場合には。

ｗｒｉｔｅ（Ｂ　）については質問くみこみ手続き処理
部１１２を生成する。また、ｆａｉｌについてはなにも
生成しない（空の目的プログラム部分を生成する）。

さらに、ＹｊｓＸ＊Ｘにつし１てはｒｏｏｔ　（みこみ
手続き処理部１１６を生成する。

処理１３０２においてくみこみ手続きではないと判定さ
れた場合は、処理１３０４を実行する。

すなわち、処理中の手続きよびだしに対応する目的プロ
グラムを起動する目的プログラム部分を生成する。プロ
グラム６００の場合には、　ｄｉｇｉｔ（Ｂ）について
はｄｉｇｉｔ（Ｂ）よびだし部１１０、ｒｏｏｔ（Ｂ。

Ａ）についてはｒｏｏｔ（Ｂ　ｔ　Ａ　）よびだし部１
１１、ｄｉｇｉｔ　（Ｘ　）についてはｄｉｇｉｔ（Ｘ
）よびだし部１１５を生成する。

〔発明の効果〕

この発明によって、複数の解がある論理型言語手続きの
実行の一部をベクトル演算命令を使用しておこなうこと
ができるようになり、その実行が高速になるという効果
がある。

【図面の簡単な説明】

第１図は第６図にしめず論理型言語プログラムを本発明
におけるコンパイラに入力してえられる目的プログラム
を示す図である。第２図は従来技術の説明で使用する論
理型言語プログラムの例を示す図である。第３図は第２
図のプログラムの汎用計算機における実行手順をしめず
フロー図、第４図は第１図の目的プログラムを実行する
ベクトル計算機のブロック図である。第５図は第２図の
プログラムのベクトル計算機における実行手順をしめず
フロー図、第６図はこの発明の実施例における論理型言
語プログラムの例を示す図である。 第７図はベクトル等値性比較命令の動作の説明図、第８
図はベクトル圧縮命令の動作の説明図、第９Ａ〜９Ｇ図
は組み合わされて第１図の目的プログラムのベクトル計
算機における実行手順の詳細をしめずフロー図、第１０
図は論理型言語プログラムを目的プログラムに変換する
コンパイラの処理のフロー図、第１１図は第１０図のス
テップ１１０２の詳細フロー図、第１２図は第１０図の
牟　／Ｉ！１ 第２凹 Ａ榎 ？−ｂｉｒｄ（Ｘ）、ｃａｎｎ　ｏｔＦｌｙ（Ｘ）、ｗ
ｒｉｔｅ（Ｘ）、ｆｄｉ　１．　　　　　　−−−−２
ｏ６囁３　図 猶４凹 寮５　目 勇６　口 第７ｎ 名８図 鳩９へ口 も９Ｂ口 囁９ＣＩ！！ 名９Ｄ凹 猶９Ｅ凹 第９Ｆ図 ｆｌ１９Ｑ（！１ 毛ＩＯ国 晃　１／　　Ｉ！］ 第１２図

Claims (1)

1. 【特許請求の範囲】 １、原始プログラムを目的プログラムに変換するコンパ
   イル方法であって、 （１）よびだしまたはリトライによって起動され、実行
   ごとに実行結果としてことなる引数データを出力する第
   １の処理を起動ごとに実行するようにプログラムされた
   第１の原始プログラム部分と、 （２）（イ）該第１の原始プログラム部分をよびだし、
   （ロ）該よびだしに対して該第１の原始プログラム部分
   から出力された引数データに対して所定の第２種の処理
   を実行し、（ハ）該第１の原始プログラム部分に対して
   リトライを指示し、（ニ）該リトライに対して該第１の
   原始プログラム部分から出力された引数データに対して
   該第２種の処理を実行し、 （ホ）該ステップ（ハ）（ニ）を複数（Ｎ−２）回繰り
   返すようにプログラムされた第２の原始プログラム部分
   と から構成される論理型言語の原始プログラムを、（３）
   第１の処理を指定された第１の繰り返し回数まとめて連
   続的に実行して該複数の引数データを要素とする第１の
   配列データを生成するステップ（ａ）を実行するように
   プログラムされた第１の目的プログラム部分と、 （４）第１のくりかえし回数Ｎを該第１の目的プログラ
   ム部分に指定して該第１の目的プログラム部分を起動す
   るステップ（ｂ）と、該起動の結果として該第１の目的
   プログラム部分によって出力された第１の配列データの
   各要素に対して該第２の処理を連続的に実行するステッ
   プ（ｃ）とを実行するようにプログラムされた第２の目
   的プログラム部分と から構成される目的プログラムに変換することを特徴と
   する論理型言語プログラムのコンパイル方法。 ２、第１項において、第２の原始プログラム部分は、該
   ステップ（イ）又は（ハ）の実行以前に第１のデータを
   計算する所定の第３の処理を実行し、該ステップ（ロ）
   又は（ニ）における該第２の処理において該第１のデー
   タを使用するようにプログラムされており、 （Ａ）該第２の目的プログラム部分は、該ステップ（ｂ
   ）の実行以前に該第３の処理を該第２の目的プログラム
   部分で指定された繰り返し回数（Ｎ）分まとめて連続的
   に実行し、該第３の処理のくりかえしにより得られた第
   １のデータを要素とする第２の配列データを生成して第
   １の目的プログラムにわたすステップ（ｄ）とをさらに
   実行するように、第１の目的プログラムで生成される後
   述する第３の配列データの各要素について第２の処理を
   実行するように構成し、 （Ｂ）第１の目的プログラム部分を、（ｂ）において出
   力される第１の配列データにくわえて、（ｇ）第１の配
   列データの第ｉ要素が（ｅ）におけるｊ回めのくりかえ
   しでえられる結果であれば、第ｉ要素が第２の配列デー
   タの第ｊ要素とひとしい第３の配列データを生成して第
   ２の目的プログラムにかえすように構成する ことを特徴とする論理型言語プログラムのコンパイル方
   法。 ３、第１項において、第１の原始プログラムが１個の手
   続きであったＭ個の節で構成され、第ｉ節は処理Ｐｉを
   おこなうようにプログラムされている場合に、第１のプ
   ログラム部分を、 （１）処理Ｐｉをおこない第５の配列データを出力する
   第ｉ節対応部（１≦ｉ≦Ｍ）と、 （２）第１〜Ｍ節対応部から出力されるそれぞれの第５
   の配列データを併合して、それらすべての要素からなる
   第１の配列データを生成する併合部 とで構成することを特徴とする論理型言語プログラムの
   コンパイル方法。 ４、第２項において、第１の原始プログラムが１個の手
   続きであってＭ個の節で構成され、第ｉ節は処理Ｐｉを
   おこなうようにプログラムされている場合に、第１のプ
   ログラム部分を、 （１）第２の配列データを複写したＭ個の第４の配列デ
   ータを生成する複写部と、 （２）第４の配列データのうちの１個を入力して処理Ｐ
   ｉをおこない第５の配列データを出力する第ｉ節対応部
   （１≦ｉ≦Ｍ）と、 （３）第１〜Ｍ節対応部から出力されるそれぞれの第５
   の配列データを併合して、それらすべての要素からなる
   第３の配列データを生成する併合部 とで構成することを特徴とする論理型言語プログラムの
   コンパイル方法。 ５、論理型言語の原始プログラムを目的プログラムに変
   換するコンパイル方法であって、原始プログラムを構成
   する各手続きと質問のそれぞれに対して、 （Ａ）その手続きまたは問題が、よびだしまたはリトラ
   イごとにことなる所定の第１の処理をおこなうかどうか
   を判定し、 （Ｂ）前記の判定結果が真であれば、第ｉ節が第２のデ
   ータを入力して処理Ｐｉをおこない、その結果として第
   １のデータを出力するようにプログラムされたその手続
   きを構成するＭ個の節を入力して、 （１）第２のデータを要素とする第２の配列データを複
   写したＭ個の第４の配列データを 生成する複写部と、 （２）第４の配列データのうちの１個を入力して、その
   各要素について処理Ｐｉをおこな い第５の配列データを出力する第ｉ節対応 部（１≦ｉ≦Ｍ）と、 （３）第１〜Ｍ節対応部から出力されるそれぞれの第５
   の配列データを併合して、それら すべての要素すなわち第１のデータからな る第３の配列データを生成する併合部 とからなる目的プログラムを生成し、 （Ｃ）前記の判定結果が偽であれば入力引数データに対
   して第１の処理を実行する第１〜ｎ節対応部を生成する という各処理をおこなうことによって論理型言語の原始
   プログラムを目的プログラムに変換することを特徴とす
   る論理型言語プログラムのコンパイル方法。