JPS63231543A

JPS63231543A - 論理型言語プログラムの実行トレ−ス表示方法

Info

Publication number: JPS63231543A
Application number: JP62063993A
Authority: JP
Inventors: Tadashi Hirose; 広瀬　正; Kazuo Nakao; 中尾　和夫; Keiko Shinada; 品田　啓子
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1987-03-20
Filing date: 1987-03-20
Publication date: 1988-09-27
Anticipated expiration: 2013-01-14
Also published as: JP2696210B2

Abstract

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

Description

【発明の詳細な説明】〔産業上の利用分野〕本発明は、プログラムの実行トレースに関し。

特に、論理型言語で記述されたプログラムの実行トレー
スの表示に関する。

〔従来の技術〕

一般に、プログラムの実行トレースは、デバッグ作業の
支援のために行なわれるものであり、したがって、プロ
グラムのどの部分が目下実行中なのかを、表示されたト
レース情報からいつでも容易に把握できることが望まれ
る。従来における論理型言語プログラムの実行トレース
の表示は、項の制御点、例えば、呼出しくＣＡＬＬ）、
再呼出しくＲＥＤ○）、成功終了（ＥＸＩＴ）、及び失
敗終了（ＦＡＩＬ）のどれを通過したかを、実行対象の
述語、項等と共に、文字列により順次羅列的に表示する
ものである（Ｗ、Ｆ、Ｃ１ｏｃｋｓｋｉｎ、Ｃ，Ｓ。

Ｍｅｌｌｉｓｈ原著、中村克彦訳ｒＰｒｏｌｏｇプログ
ラミング」マイクロソフトウェア社１９８３年発行参照
）。

第１１図は、後述する第４図のＰｒｏｌｏｇプログラム
について、従来技術に属する形式の実行トレース表示の
例を示す。この例では、制御点の種別として、前記の４
点に加えて、それらの特別な場合であるユニフィケーシ
ョン呼出しくＵＣＡＬＬ）、ユニフィケーション再呼出
しくＵＲＥＤＯ）、ユニフィケーション成功終了（ＵＥ
ＸＩＴ　）及びユニフィケーション失敗終了（ＵＦＡＩ
Ｌ、）が用いられている。文の先頭順（頭部項）につい
ては、先に′述べた制御点種別の代りに、これらの追加
された制御点種別が用いられる。第１１図において、左
端の数字は述語のレベルを示し、その右の欄は通過した
前記８種類の制御点の一つを示し、その更に右の欄は、
実行対象の項その他を示す。例えば、第４行は、述語ｒ
の試行を要求する項ｒ　（２，Ｘ）がＣＡＬＬ点を通過
したことを示し、第５行は、この述語ｒ中の文ｒ　（１
，Ｘ）ニーｓ　（Ｘ）の先頭順ｒ（１，Ｘ）がＵＣＡＬ
Ｌ点を通過したことを示し、第６行は、この項がＵＦＡ
ＩＬ点を通過したことを示し。

第７行は述語ｒの次の文ｒ（２，Ｘ）ニーｔ　（Ｘ）。

ｓ　（Ｘ）の先頭順ｒ　（２，Ｘ）がＵＣＡＬＬ点を通
過したことを示し、第８行は、この項がＵＥＸＩＴ点を
通過したことを示し、そして、第９行は、この文の第２
項ｔ　（Ｘ）がＣＡＬＬ点を通過し、したがって、述語
ｔが次に試行されることを示す。

論理型言語のプログラムの各項を箱形図形で囲んで表示
し、この箱形図形の四辺を用いて各項に対する呼出しの
変化や過去の実行状態を表現することは、既に提案され
ている（特願昭６０−１９５２８０号及び特願昭６０−
１９５８４８号）、シかし、これらの提案は、実行トレ
ースの表示にまでは及んでいない。

〔発明が解決しようとする間頭点〕

第１１図に示されるような従来の実行トレース表示は、
情報量については十分である。しかし、プログラムのど
の部分が実行中かをその表示から把握することは、決し
て容易ではない。加えて、論理型言語のプログラムでは
、バックトラッキングが頻発するため、単に現在の実行
点が指摘できるだけでは足りず、そこに至るまでの経緯
も把握できることが必要であるが、これは一層困難であ
る。

通常、プログラマは、言語仕様の許す範囲で、字下げ、
改行、注釈の挿入などにより、なるべく理解し易い形式
でプログラムを記述し、そして、この特定の記述形式で
そのプログラムを理解している。したがって、第１１図
に示されるような形式のトレース表示を参照しながらデ
バッグを行なう場合に、多くのプログラム作成者は、自
分が記述したとおりの形式のプログラムソースリスト出
力を別に用意し、このプログラムソースリスト上におけ
る現在の実行点とそこに至る経緯とを、第１１図のよう
なトレース情報から推考・判断することを余儀なくされ
る。この推考・判断のための労力が、デバッグの効率の
向上を妨げていた。

本発明の目的は、論理型言語のプログラムにおける現在
の実行点とそこに至る経緯が把握し易い形式の実行トレ
ース表示を提供し、それにより、前述した推考・判断の
ための労力を軽減して、デバッグの効率の向上に資する
ことにある。

〔間厘点を解決するための手段〕

本発明は、処理中の述語のプログラムソースリストを表
示するステップと、この表示されたプログラムソースリ
スト上で、実行された各項の最新の実行状態を、その項
の周辺に図式で表示するステップとを有する。

〔作用〕

前者諸ステップの結果、処理中の各述語が、プログラム
作成時の記述形式で表示され、かつ、このような形式の
表示上で、実行された各項がどのような実行状態に達し
ているかが、その項の近辺に簡潔に図式表示される。例
えば、各項が到達している実行状態が、呼出し、再呼出
し、呼出し後の成功終了又は失敗終了、あるいは再呼出
し後の成功終了又は失敗終了のいずれであるのかが、そ
の項を囲む箱形図形の辺と項点の一つによって示される
。したがって、プログラマは、自分の理解し易い形式で
示されたプログラム上で諸項の図式表示された実行状態
をたどることにより、現在の実行点とそこに至る経緯を
容易に把握することができる。

〔実施例〕

第２図は、本発明の一実施例を実行するためのデータ処
理装置の一例を示す。この装置は、中央処理装置１．主
メモリ２．補助メモリ３．ＣＲＴ表示装置４．キーボー
ド５．及びそれらを結合するバス６からなる。

第３図は、第２図に示された装置のためのソフトウェア
構成の一例を示す。図番とおいて、実線は被処理情報の
伝達を表わし１点線は起動の制御を表わす。このソフト
ウェアは、主メモリ２内に用意される。制御部３１は、
キーボード５から入力される間合せ情報とユーザプログ
ラム読込み指示を、推論部３４と入力部３２にそれぞれ
渡し、それらを起動する。入力部３２は、ユーザプログ
ラム読込み指示に従って、補助メモリ３に格納されてい
るユーザプログラムをデータエリア３３に読込む。デー
タエリア３３は、ユーザプログラムをその実行期間中保
持するとともに、推論及び実行トレース表示の実行に必
要な各種の情報を保持する。推論部３４は、間合せ情報
に応答して、データエリア３３を参照しながら、推論を
実行する。

トレース表示部３５は、推論部３４から与えられる推論
情報と、データエリア３３内の情報を処理して、推論実
行状態、すなわち実行トレース情報を、ＣＲＴ表示装置
４上に表示する。

予め、ユーザはユーザプログラムを作成し、補助メモリ
３に格納しておく。第４図には、　Ｐｒｏｌｏｇで記述
されたユーザプログラムの一例が示されている。第４図
において、文■ないし■がユーザプログラムを構成する
。　Ｐｒｏｌｏｇプログラムは１通常。

規則文と事実文からなる６文のないし■は規則文であり
１文■ないし■は事実文である。例えば、規則文のは、
ｒ　（２，Ｘ）で示される事実が真であればｐ　（Ｘ）
で示される事実は真であるという規則を表わし、事実文
■は、　ｔ　（ａ）で示される事実が真であるという事
実を表わす６文の先頭項の名称とその引数の個数を同じ
くする文の集合を述語と呼ぶ０例えば１文■ないし■は
一つの述語を構成し、その名称はｒで５引数の個数は２
である。述語の名称と引数の個数を併せて述語名と呼び
、この用語は後記の説明中に用いられている。

ユーザは１文■ないし■からなるプログラムを補助メモ
リ３から読込むようにシステムに指示した後１文■のよ
うな形式の間合せ情報を、キーボード５を介して投入す
る０文■は、　ｐ　（Ｘ）で示される事実は真であるか
否かという問合せを表わす、システムは、僕の間合せに
対して、■に示されるような形式の応答を出力する。こ
の応答■は、問題の事実がＸ　＝ａのとき、に真である
という趣旨のものである。

間合せ情報から応答を生成する処理は、推論部。

３４により行なわれる。しかし、本発明の対象は。

応答生成処理それ自体ではなく、推論部３４の実行過程
の表示であり、それはトレース表示部３５により行なわ
れる。それゆえ、推論部３４による応答生成処理の詳細
な説明は省略し、トレース表示部３４によるトレース表
示過程を以下に詳述する。

まず、トレース表示過程で利用されるデータエリア３３
内の情報の部分を説明する。第５図に示されるように、
データエリア３３は、各画表５１と、表示スタック５２
と、スタックポインタエリア５３と、ヒープエリア５４
を含む。名画表５１は、前述した述語名（述語の名称と
引数の個数）のそれぞれについて、関連情報へのポイン
タを保持するテーブルである。各述語名に１個のレコー
ドが割当てられ、各レコードは、述語名称フィールド５
１１、テキスト情報ポインタフィールド。

５１２、位置情報ポインタフィールド５１３．及び木構
造情報ポインタフィールド５１４からなる。

ヒープエリア５４は、前記のポインタが指す木構造情報
５４１、位置情報５４２．及びテキスト情報５４３を保
持する。木構造情報５４１は、ユーザプログラム中の各
文の木構造を表わす情報である。この情報は、各文を構
文解析することにより得られ、主に推論部３４により使
用される。テキスト情報５４３は、ユーザプログラムを
ユーザがそれを記述したとおりの形式で表現する情報で
あり、それがＣＲＴ上に表示されると、ユーザが記述し
た形式におけるユーザプログラム、すなわちプログラム
ソーステキストが表示される。位置情報５４２は、プロ
グラムソーステキスト（以下テキストと略称する）中の
各文の各項の表示画面上における位置を示す情報である
。

第６図（ａ）は、位置情報５４２の詳細を、その一部に
ついて示す。各文に対応して１個の文ノード（６１，６
２λが設けられ、各文中の各項に対応して１個の環ノー
ド（ｓａ−Ｑｓ７）が設けられる。文ノードは２個のポ
インタからなり、第１のポインタは対応する文の先頭順
に対応する環ノードのアドレスを指し、第２のポインタ
は同じ述語に属する次の文に対応する文ノードのアドレ
スを指し、最後の文に対応する文ノードの第２ポインタ
には０が設定される０名前表５１（第５図）中の各レコ
ードの位置情報フィールド５１３の内容は、対応する述
語の先頭文に対応する文ノードのアドレスを指す、各環
ノードは、１個のポインタと４個の位置情報からなる。

このポインタは、同じ文中の次の項に対応する環ノード
のアドレスを指し、最後の項に対応する環ノードにおい
ては０に設定される。各環ノードの４個の位置情報は、
テキストが表示された場合に、対応する項が表示される
べきＣＲＴ画面上の位置（第６図（ｂ）参照）を示す。

第６図は、第４図に示されたプログラムにおける。述語
名ｒ（引数個数２）に対応する位置情報の一部を例示し
たものである。この述語は、３個の文■〜■からなり１
文ノード６１は第１の文■に対応し１文ノード６２は第
２の文■に対応する。

第１文■は２個の項ｒ（１，Ｘ）とｓ　（Ｘ）からなり
、これらの項は、環ノード６３と６４にそれぞれ対応す
る。第２文■は３個の項ｒ　（２，Ｘ）とｔ　（Ｘ）と
ｓ　（Ｘ）とからなり、これらの項は、環ノード６５と
６６と６７にそれぞれ対応する。

環ノード６７の４個の位置情報Ｘ　ｚ　ｔ　Ｘ　ｓ　ｔ
　Ｖ　ｔ　＊　Ｖ　ｚは、第６図（ｂ）に示されるよう
に、ＣＲＴ画面６８上で対応する項ｓ　（Ｘ）を囲う箱
形図形６９の位置を示す。

第７図は、表示スタック５２とスタックポインタエリア
５３の詳細を示す０表示スタック５２は。

スタックとして機能する記憶領域であって、推論部３４
での実行過程を表示の制御のために記録する０表示スタ
ック５２の各レコードは、呼出された各述語に対応し１
次の６個のフィールドからなる。

ｐｉｄフィールド７１：当該述語名に対する各画表５１中のレコードの番号（述
語名識別子ｐｉｄ）を格納するフィールドｐｐフィールド７２：呼出元述語に対応する表示スタック５２中のレコードへ
のポインタ（親ポインタｐｐ）を格納するフィールドｃｆｌｐフィールド７３：当該述語の位置情報５４２における実行中の文に対応す
る文ノードへのポインタ（文ポインタｃ１２ｐ）を格納
するフィールドｇｆｌＰフィールド７４：当該述語の位置情報５４２における実行中の項に対応す
る環ノードへのポインタ（項ポインタｇＱｐ）を格納す
るフィールドｋｄフィールド７５：当該述語に関して推論部３４から送られた最新の制御点
種別を格納するフィールドｆｐフィールド７６：ソーステキストの当該述語の部分のＣＲＴ表示のために
割当てられた出力ウィンドウのファイル番号を格納する
フィールドスタックポインタエリア５３には゛、カレントポインタ
（ＣＰ）７７と空ポインタ（ＥＰ）７８が格納される。

カレントポインタ７７は、現在実行中の述語に対応する
表示スタック５２中のレコードのアドレスを指し、空ポ
インタ７８は１表示スタック５２の空きエリアの先頭ア
ドレスを指す。

推論部３４は、各項について、その８個の制御点（ＣＡ
ＬＬ、　ＥＸＩＴ、ＲＥＤＯ，ＦＡＩＬ。

ＵＣＡＬＬ、　ＵＥＸｒＴ、　ＵＲＥＤＯ，ＵＦＡＩＬ
）　ノイずれかが実行された時点で、その述語名と制御
点種別を推論制御情報としてトレース表示部３５に渡し
て、これを起動する。トレース表示部３５は、起動され
ると、第８図に示されるように、制御点表示処理８１と
スタック処理８２を行ない１次いで、制御点種別がＣＡ
ＬＬ又はＲＥＤＯの場合に、テキスト表示処理８３又は
テキスト再表示処理８４をそれぞれ行なう。制御点表示
処理８１は、処理された項がどの型の制御点を通過した
かを、カレントポインタ７７（第７図）が指す表示スタ
ックレコード（以下カレントレコードとし−う）又はそ
のレコードのｐｐフィールドが指すレコード（以下親レ
コードという）の内容と、推論部３４からの制御点種別
情報とに基づいて、テキスト上に表示する。スタック処
理８２は、次の処理結果あ表示に備えて、表示スタック
５２と両ポインタ７７゜７８を、推論部からの制御点種
別情報に応じて更新する。テキスト表示処理８３は、Ｃ
ＡＬＬ処理の結果として次に処理される述語のテキスト
を表示し、テキスト再表示処理８４は、ＲＥＤＯ処理の
結果として次に処理のやり直しが行なわれる述語のテキ
ストを表示し直す。次にこれらの処理の詳細を説明する
が１便宜上、スタック処理８２を最初に説明する。

第９図は、スタック処理８２をやや詳細に示すフローチ
ャートである。まず、推論部３４から受取った推論制御
情報中の制御点種別が判別される（処理９０ｏ）。制御
点種別がＣＡＬＬであれば、次のような処理９０１〜９
０４が行なわれる。

（１）カレントポインタ７７が指すレコード（カレント
レコード）のｋｄフィールドに“ＣＡＬＬ”を設定する
（９０１）。

（２）空ポインタ７７が指すレコード位置に新しいレコ
ードを作成し、その諸フィールドの値を次のように設定
する（９０２）。

ｐｉｄ＝推論制推論制御情報語名に対応する述語名識別
子（なお、述語名と述語名識別子の対応を示すテーブルは予め用意されている）ｐｐ”カレントポインタ７７の値ｃＱｐ＝前記ｐｉｄが指す名前表レコード中の位置情報
ポインタフィールド５１３の値、すなわち、対応する述語の最初の文ノードのアドレスｇＱｐ＝前記ｃＱｐが指す文ノードの第１ポインタの値
、すなわち、先頭順ノードのアドレスｋｄ＝設定無しｆＰ＝この述語に新しく割当てられた出力ウィンドウの
ファイル番号（３）カレントポインタ７７に空看インタ７８の値を設
定する（９’０３）、。

（４）空ポインタ７８の値をルコード分だけ増加して、
空エリアの新先頭アドレスを指すようにする（９０４）
。

制御点種別がＥＸＩＴであれば、次のような処理９０５
と９０６が行なわれる。

（１）カレントレコードのｐｐフィールドが指すレコー
ド（親レコード）のｇＱＰフィールドを。

次の環ノードを指すように変更する（９０５）。

詳述すれば、親レコードのｇＱＰ値がＯでなければ、そ
れが指す環ノードのポインタ値（同じ文の次の環ノード
のアドレス）を、このｇｎｐフィールドに設定する。た
だし、親レコードのｇＱＰ値が０であれば、このレコー
ドのａＱｐ値が指す文ノードの第２ポインタ（次の文ノ
ードのアドレス）を取出して、それをこのａＱｐフィー
ルドに設定し、そして、ｇＱＰフィールドには、この新
ｃｆｉｐ値が指す文ノードの第１ポインタの値を設定し
て、その文の先頭順ノードを指すようにする。

（２）カレントポインタ７７の値を、それが現在指して
いるレコードのｐｐフィールドの値（親レコードのアド
レス）に設定する（９０６）。

制御点種別がＲＥＤｏであれば、次のような処理９０７
と９０８が行なわれる。

（１）カレントレコードのｋｄフィールドに“ＲＥＤＯ
”を設定する（９０７）。

（２）空ポインタ７８が指す位置からカレントポインタ
７７が指す位置まで順にさかのぼって、カレントポイン
タの値をｐｐフィールドに持つレコードを探し、このレ
コードを指すようにカレントポインタの値を変更する（
９０８）。

制御点種別がＦＡＩＬであれば、次のような処理９０９
〜９１２が行なわれる。

（１）カレントレコードのｆｐ　フィールドが示すウィ
ンドウを消去する（９０９）。

（２）親レコードのｇＱＰを、一つ前の環ノードを指す
ように変更する（９１０）。なお、ＦＡＩＬが生じる時
、親しＰ−ドのｇＱＰが先頭順ノードを指していること
はない。　　′ （３）カレントポインタ７７の値を、カレントレコード
のｐｐ値に設定し、親レコードを指すようにする（９１
１）。

（４）空ポインタ７８の値を、カレントポインタ７７の
旧位に設定する（９１２）。

制御点種別がＵＣＡＬＬであれば、カレントレコードの
ｋｄフィールドに“ＣＡＬＬ”を設定する（９１３）。

制御点種別がＵＥＸＩＴであれば、カレントレコードの
ｇＱＰ値を、それが指す環ノードのポインタの値、すな
わち、同じ文の次の環ノードのアドレスに変更する（９
１４）。もしも現ｇＱＰが最後の環ノードを指していれ
ば、その環ノードのポインタ値はＯであり、したがって
、ｇＱＰ値は０に設定される。

制御点種別がＵＲＥＤＯであれば、カレントレコードの
ｋｄフィールドに”　ＲＥ　Ｄ　Ｏ”を設定する（９１
５）。

制御点種別がＵＦＡＩＬであれば、カレントレコードの
ａＱｐ値を、それが指す文ノードの第２ポインタの値、
すなわち、次の文ノードのアドレスに変更し、かつ、ｇ
ＱＰ値を、新ａＱｐ値が指す文ノードの第１ポインタの
値、すなわち、この文の先頭順ノードのアドレスに変更
する（９１６）。

以上のようなスタック処理の後では、カレントポインタ
は、次の処理対象として通常予想される環ノードと、そ
れが前回にＣＡＬＬ又はＲＥＤＯを通過したか否かを示
す。ただし、次に推論部から受取る制御点種別がＥＸＩ
Ｔ又はＦＡＩＬの場合は、親レコードが対象項ノードと
その前回の制御点種別を示す。

次に、制御点表示処理８１を説明する。第１０図は、こ
の処理８１をやや詳細に示すフローチャートである。ま
ず、推論部３４から受取った推論制御情報中の制御点種
別が判別される（１００）。

制御点種別がＣＡＬＬ又はＵＣＡＬＬであれば、カレン
トレコードのｇＱＰフィールドが指す項ノード中の位置
情報（Ｘ　１　ｔ　Ｘ　ｚ　ｅ　）’　１ｅ　’ｊ　ｚ
　）に従って、表示画面上で、対座する項を囲む箱形図
形の左上項点を点滅表示する（１０１）、’ 制御点種別がＥＸＩＴ又はＵＥＸＩＴであれば、まず、
前回の制御点種別が調べる（１０２）。前回の制御点種
別は、ＥＸＩＴの場合には親レコード（カレントレコー
ドのｐｐフィールドが指すレコード）のｋｄフィールド
に記録されており、　ＵＥＸＩＴの場合にはカレントレ
コードのｋｄフィールドに記録されている。前回制御点
種別がＣＡＬＬであれば、対応する項を囲む箱形図形の
上辺を太線表示しく１０３）、前回制御点種別がＲＥＤ
Ｏであれば、この箱形図形の右辺を太線表示する（１０
４）。

この箱形図形の位置は、ＥＸＩＴの場合は親レコード、
ＵＥＸＩＴの場合はカレントレコードの。

ｇＱｐフィールドが指す環ノード中の位置情報により指
定される。

制御点種別がＲＥＤＯ又はＵＲＥＤＯならば、カレント
レコードのｇＱＰフィールドが指す環ノード中の位置情
報に従って、対応する項を囲む箱形図形の右下項点を点
滅表示する（１０５）。

制御点種別がＦＡＩＬ又はＵＦＡＩＬであれば、まず、
前回制御点種別を調べ（１０６）、それがＣＡＬＬであ
れば、対応する項を囲う箱形図形の左辺を太線表示しく
１０７）、ＲＥＤＯであれば、この箱形図形の下辺を太
線表示する（１０８）。

前回制御点の種別と箱形図形の位置は、ＦＡＩＬとＵＦ
ＡＩＬのとき°と同様に、ＥＸＩＴの場合は親レコード
から得られ、　ＵＥＸＩＴの場合はカレントレコードか
ら得られる。

テキスト表示処理８３においては、推論部３４から受け
た制御点種別がＣＡＬＬであったことに応答して、まず
、カレントレコード（第９図の処理９０２により作成さ
れたレコード）のｆ−フィールドを参照して画面上に新
しいウィンドウを作る。次いで、ｐｉｄフィールドが指
す名前表レコードを調べて、そのテキスト情報ポインタ
５１２が指すテキスト情報を、テキスト情報５４３から
選択し、前記ウィンドウに表示する。

テキスト再表示処理８４においては、推論部から受けた
制御点種別がＲＥＤＯであったことに応答して、カレン
トレコード（第９図の処理９０８により更新されたカレ
ントレコードが指すレコード）のｐｉｄフィールドが指
す名前表レコードを調べ、そのテキスト情報ポインタ５
１２が指すテキスト情報を、ｆｐ　フィールドが示すウ
ィンドウに再度表示する。

以上に述べた実施例では、ＣＡＬＬ及びＲＥＤＯの結果
呼出されるすべての述語のテキストが表示される。しか
し、ユーザが指定した述語のテキストのみを表示するよ
うに変更してもよい、それには、例えば、述語名と述語
名識別子（ｐ　ｉ　ｄ）の対応テーブルに１表示の要否
を示すユーザの設定可能なフラグを付加し、これに従っ
てテキストの表示を制御すればよい。

第１図（ａ）は、第４図のプログラムに対する第１１図
と同じトレースを、前記の実施例により表示したＣＲＴ
画面の一例を示す、ただし、この例では、述語ｔとＳと
Ｕのテキスト表示は抑止されている。第１図（ｂ）は、
前述した制御点の表示形式を総覧的に示す、第１図（ａ
）において、ＣＲＴ画面１０上に出力ウィンドウ１１と
１２が開かれている。第１１図の第１行のＣＡＬＬにお
いて出力ウィンドウ１１に述語ｐのテキストが表示され
１次のＵＣＡＬＬにおいて先頭順ｐ　（Ｘ）にＣＡＬＬ
が表示され１次の０ＥＸＩＴにおいてそれはＣＡＬＬ−
ＥＸＩＴに変わる。第４行（７）ＣＡＩ、Ｌにおいて、
述語ｐの文の第２項ｒ　（２，Ｘ）にＣＡＬＬが表示さ
れるとともに、出力ウィンドウ１２に述語ｒのテキスト
が表示され、次のＵＣＡＬＬにおいて第１文の先頭順ｒ
（１，Ｘ）にＣＡＬＬが表示される。その後、第６行の
ＵＦＡＩＬにおいてこの先頭順の表示はＣＡＬＬ−ＦＡ
ＩＬに変り、第８行のＵＥＸＩＴにおいて述語ｒの第２
文の先頭順にＣＡＬＬ−ＥＸＩＴが表示され、次のＣＡ
ＬＬにおいて第２文の第２項ｔ　（Ｘ）にＣＡＬＬが表
示される。この時に、もしも抑止されていなければ、述
語ｔのテキストが新しいウィンドウに表示されることに
なる。第１２行のＥＸＩＴにおいて第２文の第２項ｔ　
（Ｘ）！、−ＣＡＬＬ−ＥＸＩＴが表示されて、最後の
行のＣＡＬＬにおいて第２文の第３項ｓ　（Ｘ）にＣＡ
ＬＬが表示される。述語Ｓのテキスト表示は抑止されて
）Ｎる。

図示された現在の画面の視察から、次のことが容易に理
解できる。すなわち、現在は述語ｒの処理中で、目下の
実行点は項ｓ　（Ｘ）のＣＡＬＬ点であること、この実
行点に到るまでに、述語ｒの第１文の第１項を失敗終了
し、第２文の第１項と第２項を成功終了したこと、した
がって、この項ｓ　（Ｘ）に制御が渡るのは初めてであ
ること、である。

本実施例では、トレース表示部３５専用の表示スタック
５２が設けられているが、推論部３４が使用する推論実
行用スタックにトレース表示制御用の領域を付加し、こ
こに表示スタック５２に格納すべき情報を格納して、こ
のスタックをトレース表示部３５と共用してもよい。ま
た、最初から全部の頂を箱形図形で囲んで表示して、制
御点を点滅、太線表示その他で強調表示してもよいし、
あるいは、未実行の項に対しては箱形図形を表示せずに
、実行された頂に対する制御点の表示のみを行なっても
よい。制御点の表現形式も、前記の実施例に限られず、
各項の周囲に表示しうる任意のシンボルを利用できる。

〔発明の効果〕

本発明によれば、論理型言語プログラムにおける現在の
プログラム実行点とそこに到る各点の実行状態が、プロ
グラマが記述したままの形式のソースリスト上に、直観
的に理解しやすい形式で表示される。したがって、普通
ならば把握の困難な論理型言語プログラムの実行過程を
、容易に把握することができ、その結果、デバッギング
効率の著しい改善が期待できる。

【図面の簡単な説明】第１図は本発明の一実施例によって得られる表示画面を
示す図、第２図は本発明の実行に用いられるデータ処理
装置のハードウェア構成の一例を示すブロックダイヤグ
ラム、第３図は本発明の一実施例のためのソフトウェア
構成を示すブロックダイヤグラム、第４図はＰｒｏｌｏ
ｇによるプログラムの一例を示す図、第５図は第３回に
おけるデータエリアの詳細を示す図、第６図は第５図に
おける位置情報領域の一例を示す図、第７図は第５図に
おける表示スタックとスタックポインタエリアの一例を
示す図、第８図は本発明の一実施例によるトレース表示
処理の概略を示すフローチャート、第９図は第８図にお
けるスタック処理の詳細を示すフローチャート、第１０
図は第８図における制御点表示処理の詳細を示すフロー
チャート、第１１図は従来技術によるトレース表示の一
例を示す図である。８１．１００〜１０８・・・実行状態表示ステップ。８２．９００〜９１６・・・表示制御情報更新ステップ
、８３．８４・・・プログラムソースリスト表示ステッ
プ。

Claims

【特許請求の範囲】１、少なくとも一つの述語を含み、各述語は少なくとも
一つの文からなり、各文は少なくとも一つの項を含む、
論理型言語で記述されたプログラムを、データ処理装置
で実行する過程において、処理される述語のプログラム
ソースリストを表示するステップと、表示されたプログ
ラムソースリスト上で実行された各項の最新実行状態を
その項の周辺に図式で表示するステップとを有する、実
行トレース表示方法。２、特許請求の範囲１において、前記図式は対象項を囲
む箱形図形であり、その４辺と４項点の少なくとも一部
の表示形態が前記最新実行状態を示す、実行トレース表
示方法。３、特許請求の範囲２において、前記最新実行状態は、
呼出し、再呼出し、呼出し後の成功終了及び失敗終了、
並びに再呼出し後の成功終了及び失敗終了を含み、前記
箱形図形の２項点が前記呼出し及び再呼出しにそれぞれ
対応し、前記箱形図形の４辺が前記呼出し後の成功終了
及び失敗終了並びに再呼出し後の成功終了及び失敗終了
にそれぞれ対応する、実行トレース表示方法。４、特許請求の範囲１において、その方法は、プログラ
ム実行過程における実行状態を示す実行状態情報に応答
して関連する述語のための表示制御情報を更新するステ
ップを有し、前記両表示ステップは、前記実行状態情報
と表示制御情報とに基づいて制御される、実行トレース
表示方法。５、特許請求の範囲４において、前記表示制御情報は、
それぞれが一つの述語に対応してその述語の実行状態表
示の制御に用いられる複数の情報ブロックと、前記情報
ブロックの一つを指すポインタ情報とを含み、前記更新
ステップは、新しい情報ブロックを生成するステップと
、既成情報ブロックの内容を変更するステップと、前記
ポインタ情報を変更するステップとを含む、実行トレー
ス表示方法。６、特許請求の範囲５において、前記情報ブロックは、
対応する述語を示す部分と、述語間の呼出関係を示す部
分と、処理対象項を示す部分と、実行経歴の少なくとも
一部を示す部分とを含む、実行トレース表示方法。