JPH0635713A - 論理型言語と他言語の相互呼び出し方式 - Google Patents

Abstract

(57)【要約】 【目的】 論理型言語から他言語へ戻るための処理を呼
び出す命令を用いることで、論理型言語の実行制御情報
を格納する領域を区分する必要をなくし、領域を管理す
る処理のオーバヘッドをなくす。 【構成】 論理型言語プログラムを命令列に変換すると
きに、最後に実行される命令として他言語への戻り手段
１１４を呼び出す命令を置くことで、参照すべき実行制
御情報を有無によって論理型言語の実行終了を判断する
必要をなくす。これにより実行制御情報を格納する領域
を区分する必要がなくなり、そのための処理が不要とな
る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理型言語と他言語の
相互呼び出し方式に関し、特に、論理型言語から他言語
を呼び出し、呼び出された他言語から論理型言語を呼び
出す、論理型言語と他言語の相互呼び出し方式に関す
る。

【０００２】

【従来の技術】以下説明のために論理型言語としてＰＲ
ＯＬＯＧを用いる。

【０００３】ＰＲＯＬＯＧでは、プログラムを実行する
ときに、現在実行中の述語が成功したときに参照する実
行環境と、述語の実行に失敗したときにバックトラック
と呼ばれる別解探索を行なうためのバックトラック情報
からなる実行制御情報をスタック中に格納する必要があ
る。

【０００４】従来、ＰＲＯＬＯＧから他言語を呼び出し
呼び出された他言語から再度ＰＲＯＬＯＧを呼び出した
ときに、実行制御情報を格納するためのスタックを現在
使用しているスタックとは別に新しく作成したり、ある
いはスタック中の領域を他言語を呼び出す前に実行制御
情報を格納するために使用していた領域と区分するため
の境界を示す情報を設けたりして、呼び出されたＰＲＯ
ＬＯＧの実行制御情報を格納する領域を他言語を呼び出
す前に使用していた領域と明確に区分し、その領域内に
参照すべき実行制御情報が存在しなければ他言語から呼
び出されたＰＲＯＬＯＧの実行が終了したと判断してい
る。

【０００５】

【発明が解決しようとする課題】上述した従来の技術で
は、他言語から呼び出されたＰＲＯＬＯＧの実行終了を
判断するために他言語を呼び出す前と後で実行制御情報
を格納する領域を区分する必要があるため、新しい領域
を確保したり、使用する領域を切り替えたり、不要とな
った領域を解放する処理が必要となりオーバヘッドが大
きいという問題がある。

【０００６】

【課題を解決するための手段】本発明は、論理型言語を
命令列に変換するコンパイラと、前記コンパイラによっ
て変換された命令列を格納するプログラム格納領域と、
前記プログラム格納領域に格納された命令列を解釈実行
するインタプリタと、前記インタプリタが次に実行する
命令を示すプログラムカウンタと、実行制御情報を格納
するスタックと、他言語の機械命令を格納する他言語プ
ログラム格納領域と、論理型言語から他言語を呼び出す
ための他言語呼び出し手段と、前記他言語呼び出し手段
によって呼び出された他言語の実行が終了したときに論
理型言語に制御を戻すための論理型言語への戻り手段
と、前記他言語呼び出し手段により呼び出された他言語
から論理型言語を呼び出すための論理型言語呼び出し手
段と、前記論理型言語呼び出し手段により呼び出された
論理型言語の実行が終了したときに他言語に制御を戻す
ための他言語への戻り手段とを有する論理型言語処理系
における論理型言語と他言語の相互呼び出し方式におい
て、前記他言語への戻り手段を呼び出す命令を有するこ
とを特徴とするものである。

【０００７】

【実施例】次に、本発明について図面を参照して説明す
る。

【０００８】図１は本発明の一実施例を示す構成図であ
る。

【０００９】この実施例は、論理型言語を命令列に変換
するコンパイラ１０１と、コンパイラ１０１によって変
換された命令列を格納するプログラム格納領域１０２
と、プログラム格納領域１０２に格納された命令列を解
釈実行するインタプリタ１０３と、インタプリタ１０３
が次に実行する命令を示すプログラムカウンタ１０４
と、実行制御情報を格納するスタック１０５と、他言語
の機械命令を格納する他言語プログラム格納領域１０６
と、論理型言語から他言語を呼び出すための他言語呼び
出し手段１１１と、他言語呼び出し手段１１１によって
呼び出された他言語の実行が終了したときに論理型言語
に制御を戻すための論理型言語への戻り手段１１２と、
他言語呼び出し手段１１１により呼び出された他言語か
ら論理型言語を呼び出すための論理型言語呼び出し手段
１１３と、論理型言語呼び出し手段１１１により呼び出
された論理型言語の実行が終了したときに他言語に制御
を戻すための他言語への戻り手段１１４とを有する論理
型言語処理系における論理型言語と他言語の相互呼び出
し方式において、他言語への戻り手段１１４を呼び出す
命令を有することを特徴とするものである。

【００１０】図２は本発明の一実施例の説明のためのプ
ログラムを示す。ここでは他言語プログラムを記述する
言語としてＣ言語を用いる。

【００１１】図２(a) はＣ言語を呼び出すＰＲＯＬＯＧ
プログラムを示し、本体部ゴール２０１で図２(c) のＣ
言語プログラムを呼び出す。

【００１２】図２(b) は図２(a) のＰＲＯＬＯＧプログ
ラムをコンパイラ１０１によって変換し、ＰＲＯＬＯＧ
プログラム領域１０２に格納されている命令列を示し、
命令２０２は他言語を呼び出すための他言語呼び出し手
段１１１を呼び出す命令である。

【００１３】インタプリタ１０３が図２(b) の命令列を
実行し、命令２０２を実行する直前のスタック１０５の
内容は、図３(a) に示すものとなる。

【００１４】命令２０２を実行するとインタプリタ１０
３は、他言語呼び出し手段１１１を呼び出す。

【００１５】他言語呼び出し手段１１１は、他言語プロ
グラムからＰＲＯＬＯＧに戻ったときに命令２０２の次
の命令からＰＲＯＬＯＧプログラムの実行を継続するた
めの情報を持つ実行環境３０１をスタック１０５上に作
成し、図２(c) のＣ言語プログラムに制御を移す。スタ
ック１０５の内容は図３(b) に示すものとなる。

【００１６】図２(c) は図２(a) のＰＲＯＬＯＧプログ
ラムから呼び出されるＣ言語のソースプログラムを示
し、命令２０３で図２(d) のＰＲＯＬＯＧプログラムを
実行するために論理型言語呼び出し手段１１３を呼び出
す。このＣ言語プログラムは、Ｃ言語のコンパイラによ
って機械命令に翻訳され、他言語プログラム格納領域１
０６に格納されている。

【００１７】図２(d) はＣ言語から呼び出されるＰＲＯ
ＬＯＧプログラムを示す。

【００１８】図２(e) は図２(d) のＰＲＯＬＯＧプログ
ラムをコンパイラ１０１によって変換し、プログラム格
納領域１０２に格納されている命令列を示し、命令２０
５は述語が成功したときにＣ言語に戻るために他言語へ
の戻り手段１１４を呼び出すための命令、命令２０６は
述語が失敗したときにＣ言語に戻るために他言語への戻
り手段１１４を呼び出すための命令である。

【００１９】図２(c) の命令２０３から呼び出された論
理型言語呼び出し手段１１３は、図２(d) のＰＲＯＬＯ
Ｇプログラムを実行するためにプログラムカウンタ１０
４を図２(e) の命令２０４から実行するように設定し、
インタプリタ１０３に制御を移す。このとき、以後のＰ
ＲＯＬＯＧの実装制御情報を格納するために特別な領域
を確保したり、スタック中の領域を区分する境界を示す
情報を設ける必要はない。

【００２０】インタプリタ１０３は命令２０４を実行
し、述語ｐｐｒｏｃが失敗したときに命令２０６を実行
するためのバックトラック情報３０２をスタック１０５
上に作成する。このときのプログラムカウンタ１０４の
内容は図３(c) に示すものとなる。

【００２１】図２(d) のプログラムの実行が進み命令２
０５を実行するとインタプリタ１０３は他言語から呼び
出されたＰＲＯＬＯＧの実行を終了し他言語に戻るため
に他言語への戻り手段１１４を呼び出す。

【００２２】また、図２(d) のプログラムの実行中に述
語ｐｐｒｏｃが失敗した場合インタプリタ１０３は、バ
ックトラック情報３０２の内容に従って命令２０６を実
行し、他言語から呼び出されたＰＲＯＬＯＧの実行を終
了し他言語に戻るために他言語への戻り手段１１４を呼
び出す。

【００２３】他言語への戻り手段１１４の呼び出しは、
他言語から呼び出されるＰＲＯＬＯＧプログラムをコン
パイラ１０１によって変換したときに生成される命令２
０５または命令２０６をインタプリタ１０３が実行する
ことで行なわれるため、スタック中の実行制御情報を検
索して他言語への戻り手段１１４を呼び出す必要がある
かどうかを判断する必要はない。

【００２４】他言語への戻り手段１１４は、不要となる
バックトラック情報３０２をスタック１０５上から削除
し呼び出したＣ言語に制御を戻す。このときのスタック
１０５の内容は、図３(b) に示すものと同じである。

【００２５】図２(c) のＣ言語プログラムの実行が終了
すると論理型言語への戻り手段１１２に制御が移る。

【００２６】論理型言語への戻り手段１１２は、実行環
境３０１の内容に従って命令２０２の次の命令を実行す
るようにプログラムカウンタ１０４を設定し、インタプ
リタ１０３に制御を移す。実行環境３０１は不要となる
ため、スタック１０５上から削除し、スタック１０５の
内容は、図３(a) に示すものと同じになる。

【００２７】以上のように、他言語から呼び出されたＰ
ＲＯＬＯＧの実行が終了したときに他言語への戻り手段
１１４を呼び出す命令を用いることで、実行制御情報を
格納する領域を区分することなくＰＲＯＬＯＧの他言語
の相互呼び出しが可能になり、実行制御情報を格納する
領域を区分した場合に必要な処理のオーバヘッドをなく
すことが可能となる。

【００２８】

【発明の効果】以上説明したように、本発明によれば、
他言語から呼び出された論理型言語の終了を実行制御情
報を格納する領域に参照する実行制御情報が存在するか
どうかで判断する必要がないため、他言語から呼び出さ
れた論理型言語のための実行制御情報を格納する領域を
他言語を呼び出す前に使用していた領域と区分する必要
かなくなり、実行制御情報を格納する領域を新しく確保
したり、使用する領域を切り替えたり、不要となった領
域を解放する処理が不要となり、論理型言語と他言語の
相互呼び出しにおけるオーバヘッドを削減することがで
きる。

【図面の簡単な説明】

【図１】本発明の一実施例の構成図である。

【図２】図１の実施例の説明に用いるプログラムのリス
トを示す図である。

【図３】図１の実施例の説明に用いるスタックを例示す
る図である。

【符号の説明】

１０１ コンパイラ １０２ プログラム格納領域 １０３ インタプリタ １０４ プログラムカウンタ １０５ スタック １０６ 他言語プログラム格納領域 １１１ 他言語呼び出し手段 １１２ 論理型言語への戻り手段 １１３ 論理型言語呼び出し手段 １１４ 他言語への戻り手段

Claims (1)

【特許請求の範囲】
1. 【請求項１】 論理型言語を命令列に変換するコンパイ
   ラと、前記コンパイラによって変換された命令列を格納
   するプログラム格納領域と、前記プログラム格納領域に
   格納された命令列を解釈実行するインタプリタと、前記
   インタプリタが次に実行する命令を示すプログラムカウ
   ンタと、実行制御情報を格納するスタックと、他言語の
   機械命令を格納する他言語プログラム格納領域と、論理
   型言語から他言語を呼び出すための他言語呼び出し手段
   と、前記他言語呼び出し手段によって呼び出された他言
   語の実行が終了したときに論理型言語に制御を戻すため
   の論理型言語への戻り手段と、前記他言語呼び出し手段
   により呼び出された他言語から論理型言語を呼び出すた
   めの論理型言語呼び出し手段と、前記論理型言語呼び出
   し手段により呼び出された論理型言語の実行が終了した
   ときに他言語に制御を戻すための他言語への戻り手段と
   を有する論理型言語処理系における論理型言語と他言語
   の相互呼び出し方式において、前記他言語への戻り手段
   を呼び出す命令を有することを特徴とする、論理型言語
   と他言語の相互呼び出し方式。