JPH03266029A - 論理型言語処理システムにおけるリスト出力方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） この発明は、論理型言語のプログラム開発に好適な論理
型言語システムにおけるリスト出力方法に関する。

（従来の技術） ＰＲＯＬＯＧで代表される論理型言語のプログラム（ソ
ースプログラム）の開発に際して、インタプリタの実行
によりプログラムリストを出力するために、ｌｉｓｔｉ
ｎｇ（リスティング）述語が従来から用いられている。

この従来のｌｉｓｔｉｎｇ述語を用いた場合、全プログ
ラムのリストが生成出力される。

ところで、成る述語をデバッグするためには、その述語
が直接もしくは間接に参照している述語だけを見ればよ
い。特に部品となる述語については、このような場合が
多い。しかし、従来のｌｉｓｔｉｎｇ述語を用いたリス
ト出力方法では、全てのプログラムリストが出力されて
しまい、効率的なデバッグが行えなかった。

（発明が解決しようとする課題） 上記したように、従来のｌｉｓｔｉｎｇ述語を用いたリ
スト出力方法では、全プログラムのリストが出力されて
しまうため、所望の述語をデバッグする場合には効率が
悪いという問題があった。

この発明は上記事情に鑑みてなされたものでその目的は
、ＰＲＯＬＯＧで代表される論理型言語のプログラム開
発に際し、所望の述語が直接もしくは間接に参照してい
る述語だけのリストを出力できる論理型言語処理システ
ムにおけるリスト出力方法を提供することにある。

［発明の構成］ （課題を解決するための手段） この発明は、論理型言語のインタプリタ中に、論理型言
語によるプログラムから所望の述語Ｘに関係する述語の
みを抽出してリスト出力することを指示する特定の組込
み述語を組込み、この組込み述語に従って、この組込み
述語で示される述語Ｘ１および同述語Ｘが直接もしくは
間接参照する全ての述語定義のリストを生成して出力す
るようにしたことを特徴とするものである。また、この
発明は、上記リストの効率的な生成のために、上記組込
み述語で示される上記Ｘをユニファイした後に述語Ｘが
参照する述語を全て抽出して同述語Ｘと共に所定のリス
トに設定し、しかる後に同リスト中に設定されている述
語から参照され且つ同リスト中に未だ設定されていない
述語を同リストに追加する処理を繰返すようにしたこと
を特徴とする。

（作用） 上記の構成によれば、インタプリタ中に組込んだ組込み
述語で指定された述語Ｘが直接もしくは間接に参照する
述語だけ（述語Ｘを含む）のリストを生成出力できるの
で、述語Ｘのデバッグが効率的に行える。

（実施例） 以下、この発明の一実施例を図面を参照して説明する。

第１図は、論理型言語、例えばＰＲＯＬＯＧのプログラ
ム開発のために、ＰＲＯＬＯＧのプログラム（ユーザプ
ログラム）のユーザインタフェースとなるインタプリタ
に新規なｌｉｓｔｉｎｇ述語（組込み述語）ｌｉｓｔｉ
ｎｇｘを組込むことによって行われるリスト生成出力の
手順を示すフローチャートである。この述語１ｉｓｔｉ
ｎｇｘは、例えば述語１ｉｓｔｉｎｇ＊（Ｘ）の場合で
あれば、述語Ｘ１およびＸが直接もしくは間接に参照す
る全ての述語定義のリストを生成出力することを示すも
のである。ＰＲＯＬＯＧのインタプリタに組込まれた述
語１ｉｓｔｉｎｇＸ（Ｘ）の実行は、第１図のフローチ
ャートの示す手順で、次のように行われる。

まず、Ｘのユニフィケーション（統一化）を行い、Ｘの
値を求める操作が行われる（ステップＳｌ）。

次に、Ｘがユーザ述語を表わすか否かがチエツクされ（
ステップＳ２）、ユーザ述語を表わしていなければ第１
図のフローチャートから抜ける。

これに対してＸがユーザ述語を表わしていれば、Ｘの定
義（述語定義）を調べ、ユーザ述語Ｘが直接に参照して
いる全てのユーザ述語を対象プログラムからピックアッ
プ（抽出）し、述ｇ　Ｘと共にピックアップリストに設
定（代入）する（ステップＳ３）。

次に、ピックアップリストに設定されている述語から参
照されているユーザ述語のうち、未だピックアップリス
トに設定されていないもの（ピックアップされていない
もの）があるか否かが調べられる（ステップＳ４）。

ステップＳ４の判定がＹＥＳの場合には、該当するユー
ザ述語を全てピックアップリストに追加する操作が行わ
れ（ステップＳ５）、Ｌかる後に上記ステップＳ４に戻
る。

そして、ステップＳ４．Ｓ５が繰り返され、やがてステ
ップＳ４の判定がＮＯとなると、その時点のピックアッ
プリストに設定されているユーザ述語全てに対してｌｉ
ｓｔｉｎｇが行われ、述語Ｘ１およびＸが直接もしくは
間接に参照する述語だけのリストが例えば表示出力され
て（ステップＳ６）、第１図のフローチャートから抜け
る。

したがって、開発対象となるプログラム（ユーザプログ
ラム）に含まれる述語が例えばｆｆ１２図（イ）に示す
ような場合に、述語ｌｉｓｔｉｎｇｘ（ｂ）を実行する
と、第２図（ロ）に示すようにユーザ述語すから直接も
しくは間接に参照されるユーザ述語のリスト（述語すを
含む）が生成出力される。この第２図（ロ）のリストを
用いることにより、述語すのデバッグを効率的に行うこ
とができる。

【発明の効果］ 以上詳述したようにこの発明によれば、論理型言語のイ
ンタプリタ中に、論理型言語によるプログラムのうち所
望の述語Ｘに関係する述語のみのリストを出力すること
を指示する特定の組込み述語を組込むことにより、述語
Ｘから直接もしくは関節に参照される述語だけのリスト
を生成出力することができるため、全プログラムのリス
トが生成出力されてしまう従来方法に比べて、所望の述
語Ｘのデバッグ効率が向上する。

【図面の簡単な説明】

第１図はこの発明のリスト出力方法の一実施例を示すフ
ローチャート、第２図は同実施例におけるリスト出力結
果の具体例を、開発対象プログラム中の全述語と対比さ
せて示す図である。

Claims (2)

【特許請求の範囲】
1. （１）論理型言語のインタプリタ中に、論理型言語によ
   るプログラムから所望の述語Ｘに関係する述語のみを抽
   出してリスト出力することを指示する特定の組込み述語
   を組込み、この組込み述語に従って、この組込み述語で
   示される述語Ｘ、および同述語Ｘが直接もしくは間接参
   照する全ての述語定義のリストを生成して出力するよう
   にしたことを特徴とする論理型言語処理システムにおけ
   るリスト出力方法。
2. （２）論理型言語のインタプリタ中に、論理型言語によ
   るプログラムから所望の述語Ｘに関係する述語のみを抽
   出してリスト出力することを指示する特定の組込み述語
   を組込み、この組込み述語に従い、同述語で示される上
   記Ｘをユニファイした後に述語Ｘが参照する述語を全て
   抽出して同述語Ｘと共に所定のリストに設定し、しかる
   後に同リスト中に設定されている述語から参照され且つ
   同リスト巾に未だ設定されていない述語を同リストに追
   加する処理を繰返すことにより、上記述語Ｘ、および同
   述語Ｘが直接もしくは間接参照する全ての述語定義のリ
   ストを生成して出力するようにしたことを特徴とする論
   理型言語処理システムにおけるリスト出力方法。