JPH052487A - 言語処理方式 - Google Patents

Abstract

(57)【要約】 【構成】 特定構造型情報抽出行程１１が、算譜にある
特定構造型情報を抽出する。この特定構造型情報は、構
造型情報を補完するもので、ありえない構造型を特定構
造型情報として定義し、不要な後戻り処理を削除できた
り必要な処理のみを実行させたりすることが可能とな
る。構造型情報補完行程１４は、構造型情報抽出行程１
３で算譜から得られる構造型情報に対して、特定構造型
情報に基づいて、ありえない構造型を判定して補完され
た構造型情報を作成する。実行算譜生成行程１５は、そ
の補完された構造型情報に基づいて実行算譜を生成す
る。 【効果】 後戻り制御のない高速で小容量の直接実行算
譜を得れる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は、言語処理方式に関す
るものであり、たとえば一階述語論理により動作を決定
する論理型言語のプログラムを直接実行算譜に変換する
方式に関するものである。

【０００２】

【従来の技術】

従来例１．従来の論理型言語を直接実行算譜に変換する
論理型言語処理方式（以後、”論理型言語処理方式”と
称する）を図６、図７を用いて説明する。図６は、論理
型言語で記述された算譜の例を示す図であり、図７は、
図６で示される論理型言語で記述された算譜が計算機械
で実行できる低級の言語変換された算譜（以後、”直接
実行算譜”と称する）の例である。以下、同図に基づ
き、その論理型言語で記述された算譜と直接実行算譜及
び変換方式について説明する。

【０００３】まず、図６に基づき、論理型言語で記述さ
れた算譜について説明する。１は、論理型言語で記述さ
れた特定の処理手順を定義した算譜である。１ａは、算
譜１を構成する算譜の単位（以後、”算譜単位”と称す
る）であり、算譜１のある特定の処理の一部を定義した
ものである。同様に、１ｂも算譜単位であり、算譜１の
ある特定の処理の一部を定義したものである。また、１
ｃは、算譜単位の集まりであり、算譜１の算譜単位１
ａ、算譜単位１ｂを除いた残りの算譜単位のあつまりで
ある。算譜１は、各算譜単位で定義された処理手順の集
まりにより、その処理手順が定義されるものである。ま
た、算譜単位１ａの［Ｃａｒ｜Ｃａｒ］は、算譜単位１
ａの第一仮引数であり、算譜単位１ｂのＡＴＯＭは、算
譜単位１ｂの第一仮引数である。これらの第一仮引数
は、図示しない他の算譜から呼ばれて、その算譜単位が
実行されるときに、他の算譜の第一実引数の値が代入さ
れるものである（以下、呼ぶ側の算譜の引数を実引数と
いい、呼ばれる側の算譜の引数を仮引数といい、両者を
区別する必要がないときは単に引数という）。そして、
論理型言語の典型的な基本制御手段により、各算譜単位
は、この算譜１を利用する図示しない他の算譜の第一実
引数の構造型の情報（以後”構造型情報”と称する）に
より、実行される算譜単位が決定される。すなわち、こ
の算譜１を起動したときの、第一仮引数の構造型情報に
より、実行すべき算譜単位が選択される。また、同様に
論理型言語の典型的な基本制御手段により、はじめに選
択された算譜単位の実行が失敗した場合、選択された算
譜単位の次の算譜単位に実行が移される（以後、”後戻
り処理”と称する）。したがって、この算譜１を、直接
実行算譜に変換する場合、従来のような構造型情報によ
る実行制御を直接利用して、直接実行算譜を生成するこ
とができない。なぜなら、構造型情報のみの実行制御手
段にくわえて、論理型言語の特有の後戻り制御を加えた
制御手段を定義した直接実行算譜を生成しなくてはなら
ないからである。

【０００４】つぎに、以上のような論理型言語で記述さ
れた特定の算譜を、従来の論理型言語処理方式により変
換した直接実行算譜について説明する。図７は図６で示
される算譜１を、従来の論理型言語処理方式により変換
した特定の直接実行算譜を示している。以下、同図に基
づき変換された直接実行算譜について説明する。４は直
接実行算譜であり、図６の算譜１を従来の論理型言語処
理方式で変換して得られた特定の直接実行算譜である。
４ａは命令であり、計算機械が直接に実行することがで
きる機械言語である。命令４ａは、ここで定義されてい
る処理手順を呼び出したときに、その第一仮引数の構造
型情報により実行の制御を変更することをあらわしてい
る。たとえば、構造型情報が以下の３種類である場合を
例にして説明する。 （１）未定義変数（ｖａｒ） （２）リスト（ｌｉｓｔ） （３）コンスタント（ｃｏｎｓｔ） この場合、命令４ａのｖａｒ（ｌａｂ１）により、第一
仮引数の構造型情報がｖａｒであれば、番地部ｌａｂ１
に実行の制御を移すことをあらわしている。ｌａｂ１に
実行が移った後は、ｌａｂ１以降の命令が実行される。
ｌｉｓｔ（ｌａｂ２）についても同様であり、第一仮引
数の構造型情報がｌｉｓｔであれば、番地部ｌａｂ２に
実行の制御が移り、ｌａｂ２以降の命令が実行される。
ｃｏｎｓｔ（ｌａｂ４）についても同様である。このよ
うに、図示しない他の算譜の第一実引数の構造型情報に
よって、呼ばれた算譜４の実行される部分は異なってく
る。次に、４ｂは、後戻り制御のための命令であり、先
頭のｌａｂ１はその命令のある番地部を示してある（以
下同様である）。命令１ｂは、この命令の次に定義され
ている処理が失敗した場合、ｌａｂ３で示される番地部
の命令に実行の制御を移すことを表している。処理が成
功した場合は、直接実行算譜４の実行が成功したことを
あらわしている。４ｃは直接実行算譜の部分（以後、”
直接実行算譜部分”と称する）であり、特定の処理を定
義しているもので、図６の算譜単位１ａと対応してい
る。４ｄは命令であり、命令４ｂと同様に後戻り制御の
意味を持つ。４ｅは直接実行算譜部分であり、特定の処
理を定義しているもので、図４の算譜単位１ｂと対応し
ている。４ｆは直接実行算譜部分であり、特定の処理を
定義しているもので、図４の算譜単位１ｃと対応してい
る。

【０００５】以下、図６に基づき従来の論理型言語処理
方式における、論理型言語で記述された特定の算譜を直
接実行算譜に変換する方法について説明する。算譜１
は、算譜単位１ａ、算譜単位１ｂおよび１ｃの算譜単位
の集まりにより形勢されている。各算譜単位は、図示し
ない算譜の第一実引数の構造型情報により実行の制御が
決定されるために、各構造型情報をもとに実行制御を行
う命令として、図７で示される命令４ａを生成する。し
かし、ある特定の構造型情報においては、後戻り制御を
直接実行算譜４の中に定義する必要がある。この特定の
構造型情報をもつ第一仮引数が与えられたとき、算譜単
位１ａを最初に実行し、その実行が成功した場合は算譜
１の実行が成功、その実行が失敗した場合は、次の算譜
単位１ｂを実行する（以下、各算譜単位において同様な
実行の制御が与えられる）といった、制御を直接実行算
譜４の中に定義する。この制御の方法の記述は、図７の
命令４ｂと命令４ｄなどのように生成する。以上のよう
に、構造型情報による実行の制御および後戻り制御を記
述した図７で示される直接実行算譜４が生成される。

【０００６】従来例２．従来の論理型言語を直接実行算
譜に変換する他の論理型言語処理方式を図８、図９を用
いて説明する。例えば、図８で示される論理型言語で記
述された算譜を直接実行算譜に変換すると、図９で示さ
れる直接実行算譜に変換される。この方式では、図８で
示される論理型言語で記述された算譜を、図９で示され
る直接実行算譜に変換することはできるが、直接実行算
譜を実行する速度は遅く、直接実行算譜の算譜容量も小
さくないものである。

【０００７】以下、同図に基づき、その論理型言語で記
述された算譜と直接実行算譜及び変換方式について説明
する。以下、図８に基づき、論理型言語で記述された算
譜について説明する。図８は論理型言語で記述された算
譜である。１は算譜であって、特定の処理手段を記述し
た定義であり、特定の関数記号と任意の数の引数をもつ
算譜である。１ａは１を構成する算譜の一つで、第一引
数に任意の定数をもつ算譜の単位（以下、”算譜単位”
と称する）であり、１を実行する場合、最初に処理され
る算譜単位である。１ｂは、１を構成する最後の算譜単
位であり、１ａを実行し、１ａの実行が失敗した場合、
次に実行される（最後に実行される）算譜単位である。
この算譜１は、実行される状態での第一引数が定数また
は未定義変数の場合、算譜単位１ａを実行し、その実行
が成功した場合に算譜１の処理が終了する。算譜単位１
ａの実行が失敗した場合、算譜１において次に実行（最
後に実行）される算譜単位は算譜単位１ｂであり、算譜
単位１ｂの実行が成功した場合、算譜１の実行が成功す
る。算譜単位１ｂの実行が失敗した場合、算譜１の実行
が失敗する。

【０００８】この算譜１は、従来の論理型言語処理方式
により、図９で示される直接実行算譜に変換される。以
下、図９に基づき、変換された直接実行算譜について説
明する。４は直接実行算譜であり、変換された直接実行
算譜の全体であり、計算機械が実行できる低級言語（機
械言語）で構成されている。４ａは図８で示される算譜
単位１ａと対応する直接実行算譜部分である。同様に、
４ｂは図８で示される算譜単位１ｂと対応する直接実行
算譜部分である。直接実行算譜４は、直接実行算譜単位
４ａと直接実行算譜単位４ｂから構成され、その直接実
行算譜の実行は、直接実行算譜部分４ａが成功した場
合、直接実行算譜４の実行は成功し、直接実行算譜部分
４ａが失敗した場合、次に（最後に）直接実行算譜部分
４ｂを実行する。直接実行算譜部分４ｂの実行が成功し
た場合、直接実行算譜４の実行は成功し、直接実行算譜
部分４ｂの実行が失敗した場合、直接実行算譜４の実行
が失敗することを表現している。４１ａは命令であり、
直接実行算譜４において最初に実行される機械言語の命
令で、最初に直接実行算譜部分４ａを実行し、直接実行
算譜部分４ａの実行が失敗した場合、次に直接実行算譜
部分４ｂを実行することを表している。４２ａは命令
で、第一仮引数の値が第一実引数に単一化（ＵＮＩＦＩ
ＣＡＴＩＯＮ）した場合この命令は成功し、単一化でき
ない場合はこの命令は失敗する。第一実引数の単一化の
ための条件は、第一仮引数がこの命令で示す定数である
か、または第一仮引数が未定義変数の場合である。４３
ａは命令で、直接実行算譜部分４ａの実行が成功した場
合、直接実行算譜４が成功したことを表している。４１
ｂは命令で、直接実行算譜部分４ｂを実行し、その実行
が失敗した場合、直接実行算譜４の実行が失敗したこと
を表している。４２ｂは命令で、直接実行算譜部分４ｂ
の実行が成功した場合、直接実行算譜４の実行が成功し
たことを表している。

【０００９】次に、図８で示される、論理型言語で記述
された算譜１を図９で示される直接実行算譜１に変換す
る方法を、図９に基づき説明する。算譜１は、算譜単位
１ａと算譜単位１ｂから構成されている。そのため、論
理型言語の実行制御方式から、算譜単位１ａを最初に実
行し、算譜単位１ａの実行が成功した場合、算譜１の実
行が成功する。算譜１単位１ａの実行が失敗した場合、
次に算譜単位１ｂの実行を行う（以後、”後戻り制御”
と称する）。直接実行算譜として、第一仮引数の値が第
一実引数に単一化した場合この命令は成功し、単一化で
きない場合はこの命令は失敗する。第一実引数の単一化
のための条件は、第一仮引数がこの命令で示す定数であ
るか、または第一仮引数が未定義変数の場合である。こ
のため、算譜単位１ａと算譜単位１ｂの実行制御のため
の命令として、図９で示される命令４１ａを生成する。
次に算譜１ａの実行の成功または失敗を判定する命令と
して、図９で示される４２ａを生成する。算譜１の最後
の実行を表す算譜単位１ｂにおいては、算譜単位１ｂの
実行が失敗した場合、算譜１の実行が失敗するため、そ
の実行制御の命令として、図９で示される４１ｂを生成
する。

【００１０】

【発明が解決しようとする課題】従来の論理型言語処理
方式は、以上のような方式として構築されているので、
論理型言語で必要な典型的な制御方法を忠実に直接実行
算譜に表現しているという利点や論理型言語で記述され
た算譜で定義されている実行の方法を、そのまま直接実
行算譜に表現しているという利点や論理型言語が定義し
ている典型的な後戻り制御を必要とする構造型情報に対
処した直接実行算譜として表現しているといった利点等
がある。しかしながら、論理型言語で記述された算譜が
定義する実行の制御において、実際には実行時に後戻り
制御を行う構造型情報が与えられないものでも、直接実
行算譜の生成時には引数の取り得る構造型情報が判らな
いため、後戻り制御を必要とする構造型情報に対処した
直接実行算譜として表現しなくてはならず、直接実行算
譜の算譜の容量が大きく、また、直接実行算譜の実行が
高速実行を行うような直接実行算譜への変換ができない
といった問題があった。

【００１１】この発明は前述のような問題に鑑みてなさ
れたもので、高速で容量の小さい直接実行算譜を生成す
る言語処理方式を得ることを目的とする。

【００１２】

【課題を解決するための手段】第１の発明に係る言語処
理方式は、以下の工程を有するものである。 （ａ）算譜の中から構造型情報を得る構造型情報抽出工
程、 （ｂ）算譜の中から、上記構造型情報を補完するために
定義された特定構造型情報を得る特定構造型情報抽出工
程、 （ｃ）上記構造型情報を特定構造型情報に基づいて補完
した補完構造型情報を作成する構造型情報補完工程 （ｄ）補完構造型情報に基づいて、実行算譜を生成する
実行算譜生成工程。

【００１３】

【課題を解決するための手段】第２の発明に係る言語処
理方式は、以下の工程を有するものである。 （ａ）算譜を生成する際、後戻り制御を行う算譜を生成
するか否かの条件を抽出する条件抽出工程、 （ｂ）条件抽出工程により抽出された条件に基づいて、
後戻り制御を行なう算譜と行なわない算譜のいずれか一
方を生成する変換工程。

【００１４】

【作用】第１の発明に係る言語処理方式は、特定構造型
情報抽出工程が、算譜にある特定構造型情報を抽出す
る。この特定構造型情報は、構造型情報を補完するため
に追加されているもので、いくつかの構造型が存在する
ことによりそのどの構造型であっても実行できるように
後戻り処理等の冗重な実行算譜を生成していた従来の方
法に鑑みて、あらかじめわかっているありえない構造型
を特定構造型情報として定義しているものである。ある
いは、あらかじめ使用するとわかっている構造型のみを
特定構造型情報として定義しておくものである。したが
って、この特定構造型情報を用いることにより不要な後
戻り処理を削除できたり、必要な処理のみを実行させた
りすることが可能となる。構造型情報補完工程は、従来
の方式で算譜から得られる構造型情報に対して、特定構
造型情報に基づいて、ありえない構造型や必要な構造型
を判定して補完された構造型情報を作成する工程であ
り、実行算譜生成工程は、その補完された構造型情報に
基づいて実行算譜を生成するので、無駄な後戻り処理等
の生成が防止できる。

【００１５】第２の発明に係る言語処理方式は、条件抽
出工程が、論理型言語で記述された特定の算譜から、特
定の条件を抽出し、その条件にあてはまる算譜は、変換
工程において後戻り制御を用いない算譜に変換できるの
で、高速で算譜の容量の小さい直接実行算譜を得ること
ができる。

【００１６】

【実施例】

実施例１．以下に第１の発明を実施例に基づいて説明す
る。図１は、特定の構造型情報を与えた、論理型言語で
記述された算譜を示す図である。図２は直接実行算譜で
あり、図１で示される算譜を、この発明における論理型
言語処理方式によって変換して得られた直接実行算譜で
ある。図３はこの実施例の動作を示すフローチャートで
ある。

【００１７】以下、図１に基づき特定の構造型情報を与
えた、論理型言語で記述された算譜について説明する。
１は、特定の構造型情報を与えた、論理型言語で記述さ
れた算譜である。２は、論理型言語で記述された算譜１
に与えられた特定構造型情報である。−（ｖａｒ）は、
未定義変数（ｖａｒ）が、引数の構造型情報として使用
されないことを示したものである。図示しないが、−
（ｌｉｓｔ）の場合は、リスト（ｌｉｓｔ）は引数の構
造型情報として使用されないことを示し、また−（ｃｏ
ｎｓｔ）の場合は、コンスタント（ｃｏｎｓｔ）は引数
の構造型情報として使用されないことを示すものとす
る。１ｂは算譜単位の集まりであり、特定の処理が記述
された算譜である。特定構造型情報２は、図示しない他
の算譜によって算譜単位の集まり１ｂに与えられる第一
実引数に対する構造型情報であり、図示しない他の算譜
によって算譜単位の集まり１ｂに与えられる第一実引数
に対応して定義されて設けられた、算譜単位の集まり１
ｂから抽出される第一仮引数の構造型情報を補うもので
ある。ここで−（ｖａｒ）という特定構造型情報２は、
第一仮引数の構造型情報が未定義変数（ｖａｒ）で使用
されることはなく、リスト（ｌｉｓｔ）かコンスタント
（ｃｏｎｓｔ）のいずれかであることを示している。し
たがって、この特定構造型情報２を用いることにより、
第一仮引数が未定義変数（ｖａｒ）である場合を考慮し
ない直接実行算譜を生成することができる。ここで算譜
単位の集まり１ｂから、直接制御を行うことのできる構
造型情報と後戻り制御を行わなくてはならない構造型情
報が抽出されるとする。特定構造型情報２は、抽出され
た構造型情報に対して、第一仮引数により与えれる構造
型情報を補完定義するものであり、この補完定義を用い
ることにより、算譜１の実行において後戻り制御を必要
とする構造型情報が一部または全て必要ない場合、算譜
１から後戻り制御を必要とする構造型情報の一部または
全てを除いた算譜を得ることができる。

【００１８】次に、この発明により、論理型言語で記述
された算譜を直接実行算譜に変換した一例について説明
する。以下において、図２に基づき説明を行う。４は直
接実行算譜であり、図１で示される算譜１を、この発明
における論理型言語処理方式で直接実行算譜に変換した
ものである。直接実行算譜４は、図１で示される算譜１
で定義された実行の制御と同一の実行の制御を定義した
ものである。４ａは命令であり、この直接実行算譜１が
起動されたときの、第一仮引数で与えられる構造型情報
により、実行の制御を変更する直接制御のための命令で
ある。４ｂは直接実行算譜であり、図１で示される各算
譜単位の処理を定義したものである。

【００１９】次に動作について説明する。図示しない他
の算譜の第一実引数が未定義変数（ｖａｒ）の場合、命
令４ａにより、番地部ｌａｂ１に実行の制御を移るが、
図１の特定の構造型情報２により第一実引数が未定義変
数（ｖａｒ）の場合はありえないとして直接実行算譜を
生成しているので、ｅｘｉｔ ａｎｄ ｆａｉｌにより
エラーとしてこの処理を終了する。また、図示しない他
の算譜からの第一実引数がリスト（ｌｉｓｔ）の場合
は、命令４ａにより、番地部ｌａｂ２に実行の制御が移
り、処理１を実行する。処理１の実行後は、処理２の実
行の可否は一切問わず処理を終了する。また、図示しな
い他の算譜からの第一実引数がコンスタント（ｃｏｎｓ
ｔ）の場合は、命令４ａにより番地部ｌａｂ３に実行の
制御を移り、処理２を実行する。処理２の実行後は、そ
れ以後に他の処理（たとえば処理３、４、・・・）があ
っても関係なく処理を終了する。以上のように、この直
接実行算譜は、図５で示される直接実行算譜１と比較し
た場合、後戻り制御がなくすべて直接制御のみで定義さ
れている。これは、後戻り制御を必要とする構造型情報
が、図１で示される特定の構造型情報１ａにより排除さ
れたためで、高速で容量の小さい直接実行算譜となって
いる。

【００２０】つぎに本実施例の典型的な動作について説
明する。以下、図３のフローチャートに基づき説明を行
う。まず、特定構造型情報２が定義されているかどうか
調べる（ｓｔｅｐ １１）。特定構造型情報２が定義さ
れていない場合は、従来どおり論理型言語で記述された
算譜から、第一実引数の構造型情報を抽出する（ｓｔｅ
ｐ １６）。抽出した構造型情報から直接実行算譜を生
成する（ｓｔｅｐ １７）。特定構造型情報２が定義さ
れている場合は、算譜にたいして構造型情報を制限する
構造型情報を得る（ｓｔｅｐ １２）。次に、算譜より
第一仮引数の構造型情報を抽出する（ｓｔｅｐ １
３）。定義から得られた構造型情報と抽出した構造型情
報を組み合せて、新しい構造型情報を得る（ｓｔｅｐ
１４）。算譜より抽出された構造型情報は、算譜が定義
している実行の制御を決定するものであり、従来の方式
では、論理型言語の典型的な制御の手段により、算譜の
記述者が意図しない後戻り制御のための構造型情報が含
まれてしまう。この意図しない構造型情報を算譜の定義
により排除することは、人に対して算譜を理解しずらく
し、かつ、全ての意図しない構造型情報を排除する算譜
の記述は困難なものである。そこで、ｓｔｅｐ １２に
より、明示的に算譜の記述者が、この算譜に定義する処
理から必要な構造型情報または必要でない構造型情報を
与えているため、意図しない構造型情報を変換の際に与
えなくすることが可能となる。このようにして新しく得
られた構造型情報は、後戻り制御を制限した構造型情報
であるため、変換により得られた直接実行算譜は、直接
制御を用いた高速で容量の小さい直接実行算譜となる
（ｓｔｅｐ １５）。

【００２１】以上、この実施例では、特定の論理型言語
の直接実行算譜への変換方式と、該変換方式により特定
の条件付けられる論理型言語形式を直接実行算譜に変換
する変換手段とを備えたことを特長とする論理型言語処
理方式を説明した。

【００２２】実施例２．なお、上記実施例においては、
特定構造型情報２として必要とされない構造型情報を与
える場合を示したが、必要とされる構造型情報を与える
ようにしてもかまわない。たとえば、＋（ｖａｒ）は、
未定義変数（ｖａｒ）が使用されることを示し、＋（ｌ
ｉｓｔ）は、リスト（ｌｉｓｔ）が使用されることを示
し、＋（ｃｏｎｓｔ）は、コンスタント（ｃｏｎｓｔ）
が使用されることを示すようにしてもよい。あるいは、
特定構造型情報２として、必要とされないものと必要と
されるものを混在させて使用してもよい。たとえば−
（ｖａｒ）と＋（ｌｉｓｔ）と両方が特定構造型情報と
して与えられた場合は、未定義変数（ｖａｒ）はその算
譜内で使用されないことを示し、リスト（ｌｉｓｔ）は
使用されることを示していることになる。

【００２３】実施例３．また、上記実施例の場合は、第
一実引数および第一仮引数の場合を示したが、ここで与
えている特定の構造型情報は、論理型言語で記述した算
譜の第一実引数および第一仮引数のみでなく、それ以降
の第二、第三等の実引数および仮引数に対しても同様に
定義し効率の良い直接実行算譜を得ることができる。

【００２４】実施例４．次に、第２の発明の実施例を説
明する。図４は、この発明により生成された直接実行算
譜の一例であり、図５は第２の発明の一実施例である論
理型言語処理方式の動作を示すフローチャートである。
以後、図４に基づき、この発明により生成された直接実
行算譜の一例を説明する。４は直接実行算譜であり、図
８の論理型言語で記述された算譜１を、この発明により
直接実行算譜に変換したものである。４１ａは直接実行
制御命令であり、第一仮引数と第一実引数が命令で示さ
れる定数として単一化（ＵＮＩＦＩＣＡＴＩＯＮ）が可
能であるとき、命令で指定された番地に実行制御を移
し、単一化が可能でない場合、次の命令に実行制御を移
すことを表している。３ａは単一化可能かどうかを判定
する条件であり、第１引数が定数（コンスタント、ＣＯ
ＮＳＴ）である場合は単一化可能であるとして、以下に
述べる命令４２ａを実行することを示している。また、
３ｂは、その条件が失敗した場合に、実行制御を変更す
る番地部を表しており、この場合は、第１仮引数が定数
（コンスタント、ＣＯＮＳＴ）以外の未定義定変数（ｖ
ａｒ）であればｌａｂ１番地にジャンプすることを示し
ている。次に、４２ａは命令であり、第１仮引数と第１
実引数の単一化を行う命令である。命令４２ａは、図８
の算譜単位１ａに対応している。４３ａは命令であり、
実行の終了を表している。４ｂは直接実行算譜部分であ
り、図８の算譜単位１ｂに対応している。このように、
図４に示した直接実行算譜によれば、後戻り制御がなく
なり、算譜のサイズが縮小できるとともに、実行速度も
向上することになる。

【００２５】次に、図８に示した論理言語で記述された
算譜１から図４に示した直接実行算譜４を生成する本実
施例の典型的な変換方式（動作）を、図５で示されるフ
ローチャートに基づき説明する。本実施例においては、
後戻り制御を行う算譜を生成するかどうかの判定を最初
に行う。後戻り制御を行う場合は、従来の論理型言語処
理方式により、算譜が直接実行算譜に変換される（ｓｔ
ｅｐ １１）。後戻り制御を用いず、直接制御を用いる
ことのできる変換の条件としては、条件抽出工程５１に
より以下の条件がチェックされる。論理型言語で記述さ
れている算譜の算譜単位が二つであること（ｓｔｅｐ
１２）、最初に出現する算譜単位の第一実引数が構造体
でない定数であること（ｓｔｅｐ １３）、最初に出現
する算譜単位の第一実引数が未定義変数であるとき、処
理系列の中で引数の定数構造判定を行っていること（ｓ
ｔｅｐ １４）、最初に出現する算譜単位の引数の数が
１つであること（ｓｔｅｐ １５）、最初に出現する算
譜単位の引数の数が２つ以上の場合は、２番目の引数以
上がすべて匿名変数であること（ｓｔｅｐ １６）、最
初に出現する算譜単位の引数の数が２つ以上の場合で、
２番目の引数以上がすべて匿名変数でない場合、引数の
単一化および処理系列の中で単一化を行う処理がないこ
と（ｓｔｅｐ １７）、最初に出現する算譜単位の処理
系列により、次の算譜単位の処理が制限されること（実
行されないこと）（ｓｔｅｐ １８）。

【００２６】上記の条件を満たさない場合は、従来どお
りの論理型言語処理方式により、図９に示すような後戻
り制御付きで算譜が直接実行算譜に変換される（ｓｔｅ
ｐ１１）。上記の条件を満たす場合、直接実行算譜命令
４１ａにより直接制御の直接実行算譜を生成する（ｓｔ
ｅｐ １９）。ただし、この時点では実行制御を変更す
る番地部３ｂは未記入である。次に、判定が終った後、
最初に出現する算譜単位の処理系列を従来の変換方法で
直接実行算譜に変換し、命令４２ａを生成する（ｓｔｅ
ｐ ２０）。そして、現在までに割り付けた直接実行算
譜の最後の番地の次の番地ｌａｂ１を、ｓｔｅｐ １９
で生成した直接実行制御の命令４１ａの直接実行算譜の
制御変更番地部３ｂとする（ｓｔｅｐ ２１）。以後、
従来の変換方式で算譜単位１ｂを直接実行算譜４ｂに変
換する（ｓｔｅｐ ２２）。本実施例の動作は、これで
終了である（ｓｔｅｐ ２３）。

【００２７】実施例５．なお、上記実施例１、２、３、
４では、論理型言語の処理方式を示したが、論理型言語
以外の言語の算譜生成であってもかまわない。

【００２８】

【発明の効果】以上説明したように、第１の発明によれ
ば、構造型情報を補完する特定の構造型情報を算譜に与
え、その算譜から、実行算譜を生成するようにしたの
で、高速で容量の小さい実行算譜を生成する言語処理方
式を得ることができる。

【００２９】また、第２の発明によれば、論理型言語で
記述された算譜において、特定の条件をもつ算譜は、後
戻り制御を行う直接実行算譜ではなく、直接制御を行う
高速な直接実行算譜を生成することができる。

【図面の簡単な説明】

【図１】この発明における特定の構造型情報を論理型言
語で記述した算譜に与えた算譜の一例を示す図。

【図２】この発明により得られた直接実行算譜の一例を
示す図。

【図３】この発明の一実施例の典型的な動作例を示すフ
ローチャート図。

【図４】この発明により生成された直接実行算譜の一変
換例を示す図。

【図５】この発明の一実施例の典型的な動作例を示すフ
ローチャート図。

【図６】論理型言語で記述された算譜の一例を示す図。

【図７】従来の論理型言語処理方式により得られた直接
実行算譜の一例を示す図。

【図８】論理型言語で記述された算譜の一例を示す図。

【図９】従来の直接実行算譜の一例を示す図。

【符号の説明】

１ 算譜 １ａ、１ｂ、１ｃ 算譜単位 ２ 特定構造型情報 ４ 直接実行算譜 ４ａ、４ｂ、４ｃ 命令又は直接実行算譜部分

Claims (2)

【特許請求の範囲】
1. 【請求項１】 以下の工程を有する言語処理方式 （ａ）算譜の中から構造型情報を得る構造型情報抽出工
   程、 （ｂ）算譜の中から、上記構造型情報を補完するために
   定義された特定構造型情報を得る特定構造型情報抽出工
   程、 （ｃ）上記構造型情報を特定構造型情報に基づいて補完
   した補完構造型情報を作成する構造型情報補完工程 （ｄ）補完構造型情報に基づいて、実行算譜を生成する
   実行算譜生成工程。
2. 【請求項２】 以下の工程を有する言語処理方式 （ａ）算譜を生成する際、後戻り制御を行う算譜を生成
   するか否かの条件を抽出する条件抽出工程、 （ｂ）条件抽出工程により抽出された条件に基づいて、
   後戻り制御を行なう算譜と行なわない算譜のいずれか一
   方を生成する変換工程。