JPH02224142A - Ｐｒｏｌｏｇソースレベル・デバッグシステム - Google Patents

Abstract

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

Description

【発明の詳細な説明】 （産業上の利用分野） 本発明は、人工知能の分野での自然言語処理やエキスパ
ート・システムなどで利用されるＰｒｏｌｏｇ言語やこ
れに準するＰｒｏｌｏｇ系プログラミング言語で記述さ
れたプログラムのデバッグ装置に関する。

（従来の技術） 人工知能の分野などでは論理プログラミングを支援する
プログラム言語として、ｆ！ｄＣＡＡＤ、　Ｄｅｐｅｒ
ｔ　−ｍｅｎｔ　ｏｆ　Ａｒｃｈｉｔｅｃｔｕｒｅ、　
Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｅｄｉｎｂｕｒｇｈで開
発されたＣ−ＰｒｏｌｏｇなどのＰｒｏｌｏｇ系の言語
が知られている。

このＰｒｏｌｏｇ言語は会話型言語であり、第３図のよ
うなプログラムをワーキングメモリに読み込み、第４図
のように述語呼出しによりプログラムを実行する。第３
図のプログラムは、子孫（ｄｅｓｃｅｎｄａｎｔ）　、
子供（ｏｆｆａｐｒｉｎｇ）、親（ｐａｒｅｎ　ｔ）の
関係及び事実（ｇｔ３０８はｇ　ｔｓ３２８の親、ｄｉ
ｎｏ２４６はｇｔｂ３０８の親）を定義したものである
。第４図は、ｄｉｎｏ２４６の子孫を求める実行例であ
る。第４図では１度求めた解（ｇｔｎ３０８）に対し、
それを「；」で否定し、バックトランク（逆戻り）によ
り別の解（ｇｔｓ３２８　）を求めさせている。

第３図において、ｄｅｓｃｅｎｄａｎＬ　ｏｆｆｓｐｒ
ｉｎｇ　、　ｐａ　−ｒｅｎ　ｔ　　はアリティ２の述
語で、ｘ、ｙ、ｚは変数、ｄｉｎｏ２４６　、ｇｔｂ３
０８、ｇ　ｔｓ３２８はアトムと言う値である。述語の
実行は変数と値とのユニファイと、バックトラック制御
とにより行われ、変数の有効範囲は一つの述語定義の中
で閉じており、全て局所変数である。−度ユニファイで
与えられた変数の値はバンクトラックでしか変更できな
い。

第５図から第７図までは、上述のようなＣ−Ｐｒｏ−１
ｏｇの持つデバッグ機能により、第４図のプログラム実
行においてステップ毎にトレース情報を出力したものの
全体を各図に分解して示すである。

このデバッグ機能では、まず、 ｓｐｙ　　述語名／アリティ で、デバッグ対象の述語を指定する。その後、プログラ
ムの実行中にｓｐｙで指定した述語の手続きの入口、出
口に出会った時に実行の中断やトレース情報の出力が行
われる。述語手続きの入口としては述語の呼出しく　Ｃ
ａ１ｌ　）が、出口としては成功（Ｅｘｉｔ　）、バッ
クトラック（ＢａｃｋＴｏ　）、失敗（Ｆａ−ｉｌ　）
がある。トレース情報は出会った時点での引き数の値を
示すものであり、　　ｘｘｘは値が未定義であることを
意味する。

実行が中断された場合には「？」のプロンプトが出力さ
れ、これに対してユーザがデバッグコマンドを入力する
。

デバッグコマンドには第８図に示すようなものがあり、
ユーザはこれらのデバッグコマンドによって実行の制御
を行いながらデバッグ作業を行う。

第９図は、述語が定義されているソースプログラムをワ
ーキングメモリに読み込む述語ｕｐｄａ　ｔｅＯ例であ
る。

上記従来のデバッグ機能では、述語が第９図の程度に複
雑になると、第１０から第１５図までに分割して全体を
示すように（第３図の述語が定義されているソースファ
イルＸＸＸの読み込みをステップ実行した例）、かなり
複雑になってしまう。

（発明が解決しようとする課題） 上述した従来のデバッグ機能では、スパイ点が述語単位
に設定されるので、第１０図から１５図までに例示した
ように、真に必要とするトレース情報を得るまでのデバ
ッグステップが長いデバッグコマンド列を必要とする複
雑なものになってしまうという問題がある。

また、従来のデバッグ機能ではデバッグ時に出力される
トレース情報には不必要なものが多数台まれ、無駄が多
くなるという問題もある。

（課題を解決するための手段） 本発明のＰｒｏｌｏｇソースレベル・デバッグシステム
は、デバッグ対象の述語の指定により、その述語のソー
ステキストをソースプログラムから抽出するソーステキ
スト抽出部と、この抽出されたソーステキスト上にディ
スプレイとマウスを利用して対話形式でスパイ点の位置
及び仕様の設定を行うスパイ点の位置及び仕様設定部と
を備えている。

このスパイ点の設定は、ソーステキストの中で述語本体
を構成する述語呼出しの間の位置にスパイ点でのアクシ
ョンプログラムコードを挿入することにより行われる。

また、スパイ点の仕様としては、スパイ点の有動性（ス
パイ点におけるアクションの有効の可否）、プログラム
実行の中断条件（スパイ点でプログラム実行を中断する
か否かを判断する条件式）、トレース情報の出力条件（
スパイ点でのトレース情報を出力するか否かを判断する
条件式）、トレース情報の内容（スパイ点で出力するト
レース情報の内容：述語定義に現れる変数の値等）など
が設定される。なお、アクションプログラムコードは元
のプログラムの制御を変えないために、通常、呼出しは
成功、バンクトラック時は失敗するように実現する。

サラに、本発明のＰｒｏｌｏｇソースレベル・デバッグ
システムは、スパイ点におけるアクションプログラムコ
ードを挿入したデバッグ用ソーステキストをＰｒｏｌｏ
ｇプログラム実行部のワーキングメモリに一時的に登録
することにより実行部によるデバッグを可能とするデバ
ッグ用ソーステキスト登録部を備えている Ｐｒｏｌｏｇプログラム実行部は、デバッグモード下に
おいてスパイ点に制御が達した時に、スパイ点に対応す
るアクションプログラムコードの実行によりトレース情
報の出力、実行の中断、再開、Ｂｒｅａｋによる任意プ
ログラムの実行等のデバッグ作業を遂行する機能を有す
る。

そしてデバッグの実行終了の際に、原ソーステキストの
再登録により、Ｐｒｏｌｏｇプログラム実行部のワーキ
ングメモリをデバッグ開始以前の状態に復元するソース
テキスト復元部を有する。

このように、本発明のデバッグシステムによれば、スパ
イ点をユーザの所望の位置に随意に設定できるため、デ
バッグ時に真に必要なトレース情報のみを出力させるこ
とが可能になる。

しかも、設定に必要な操作はディスプレイとマウスによ
る対話形式で容易・確実に行える。

以下、本発明の作用を実施例と共に詳細に説明する。

（実施例） 第１図は本発明の一実施例のＰｒｏｌｏｇソースレベル
・デバッグシステムの全体構成図で、Ｐｒｏｌｏｇソー
スプログラム１、ソーステキスト抽出部２、スパイ点の
位置及び仕様設定部３、デバッグ用ソーステキスト登録
部４、ソーステキスト復元部５、デバッグ作業入出力部
６、マンマシンインタフェース制御部７　、Ｐｒｏｌｏ
ｇプログラム実行部８、デバッグ用ソーステキスト９、
ソーステキスト１０、ディスプレイ１１及びマウス１２
を備えている。

ソーステキスト抽出部２は、デバッグの対象とする述語
のソーステキストを、外部記憶装置内のファイルやＰｒ
ｏ　ｌｏｇプログラム実行部８のワーキングメモリ内に
保持されているソースプログラム１から抽出する。

スパイ点の位置及び仕様設定部３は、抽出されたソース
テキスト中にデバッグのためのアクションプログラムコ
ードを挿入するスパイ点の位置及び仕様設定を行う。

デバッグ用ソーステキスト登録部４は、デバッグ用アク
ションプログラムコードが挿入されたデバッグ用ソース
テキスト９をＰｒｏｌｏｇプログラム実行部８のワーキ
ングメモリに登録し、このＰｒｏｌ　−ｏｇプログラム
実行部８の実行状態をデバッグモードにする。

ソーステキスト復元部５は、デバッグ作業終了後にデバ
ッグ用ソーステキストロード直前の原ソーステキスト１
０をＰｒｏｌｏｇプログラム実行部８のワーキングメモ
リに再登録することにより、このワーキングメモリをデ
バッグ開始以前の状態に復元する。

デバッグ作業入出力部６は、Ｐｒｏｌｏｇプログラム実
行部８に於けるデバッグ作業中の入出力フロントエンド
となる。すなわち、デバッグ作業中にスパイ点で実行さ
れるアクションプログラムコードに関しては、トレース
情報の出力、デバッグコマンドの入力はこのデバッグ作
業入出力部６を介して行われる。

マンマシンインタフェース制御部７は、ユーザが上記各
部２〜６の機能をディスプレイ１１とマウス１２で能率
よく利用するためのマンマシンインタフェース制御部で
ある。

第２図は、第１図のデバッグ装置によって第７図に例示
した述語ｕｐｄａ　ｔｅのデバッグ作業を行う際のディ
スプレイ画面２１の表示例である。

本例では、ディスプレイ１１とマウス１２はマルチウィ
ンドウ・システムにより制御されており、Ｐｒｏｌｏｇ
　　プログラム実行部８はＰｒｏｌｏｇウィンドウ２２
を介して、その他の各部はデバッグウィンドウ２３を介
して、ユーザとの会話を行う。

このデバッグウィンドウ２３は、スパイ・サブウィンド
ウ２４、パネル・サブウィンドウ２５、テキスト・サブ
ウィンドウ２６、トレース・サブウィンドウ２７から構
成される。このうちスパイ・サブウィンドウ２４、テキ
スト・サブウィンドウ２６、トレース・サブウィンドウ
２７は、テキスト表示ウィンドウであり、左側にスクロ
ールバーを持つ、これらのスクロールバーは表示中の部
分がテキスト中で占める位置と割合を示し、マウス操作
により表示部分を移動できるものである。

図示の例では、スパイ・サブウィンドウ２４ではテキス
ト全体が、テキスト・サブウィンドウ２６ではテキスト
の上半分が、トレース・サブウィンドウ２７ではテキス
トの下半分が表示されている。パネル・サブウィンドウ
２５は、複数のボタン領域からなり、各ボタン領域をマ
ウス１２で選択することにより、そのボタン領域に特定
のアクションが行われる。パネル・サブウィンドウ２５
ではｂｒｅａｋボタンが選択されていることが示されて
いる（斜め矢印はマウスカーソル）。

デバッグウィンドウ２３を使ったデバッグ例を第２図に
よって説明する。

１　、５ｐｙｓｅｔ　　ボタン領域選択アバ。７グの対
象とする述語名／アリティ入力のプロンプトがトレース
・サブウィンドウ２７に表示される。この表示されたプ
ロンプトにより述語名／アリティ　（ｕｐｄａ　ｔｅ／
２）をトレース・サブウィンドウ２７から入力する。

テキスト・サブウィンドウ２６に指定した述語のソース
テキストが表示される。

２、５ｐｙｎｅ−ボタン領域選択 新しいスパイ点（ＳＩ）のデフォルトの仕様が、スパイ
・サブウィンドウ２４に表示される。

図示の例では、 スパイ点名　ｐｒｅｄｉｃａｔｅ　　述語名／アリティ
ｓ　ｔａ　ｔｅ　　　　　スパイ点の状態（ａｃｔｉｖ
ｅ又は１ｎａｃｔｉｖｅ） ｔｒａｃｅ　　　　　）レース情報出力判定条件式 ％式％ ｓ　ｔｏｐｂａｃｋ　　　バックトラック時実行中断判
定条件式 ｔｒａｃｅＸ　　　　）レース情報出力する式の並び という仕様になっている。

デフォルトに関しては、ｐｒｅｄｉｃａｔｅはテキスト
・サブウィンドウ２６に表示中の述語、ｓ　ｔａ　ｔｅ
はａｃｔｉｖｅ（有効）　、ｔｒａｃｅはｔｒｕｅ　（
常に出力）、５ｔｏｐはｔｒｕｅ　（常に中断）　、５
ｔｏｐｂａｃｋはｆａｌｓｅ　（常に素通り）　、ｔｒ
ａｃｅＸ　　はソーステキストに現れる変数の並びであ
る。なお、５ｐｙｃｌ　−ｅａｒボタン領域によってス
パイ点が消去される。

３、テキスト・サブウィンドウ２６において、スパイ点
の位置をマウス１２の操作で設定。

スパイ点の設定位置にアウトラインフォントでスパイ点
名（Ｓｌ）が挿入される。

４、スパイ・サブウィンドウ２４において、スパイ点の
仕様を変更。

例では、ｔｒａｃｅＸ　　をｐｉｌｅ、　Ｘ、　Ａ、　
Ｂ、　Ｆ、　Ｎに変更５、５ｐｙｓａｖｅ　　ボタン選
択 スパイ点設定済みのデバッグ用ソーステキストがＰｒｏ
ｌｏｇプログラム実行部８のワーキングメモリに登録さ
れ、Ｐｒｏｌｏｇ　　プログラム実行部８がデバッグモ
ードにされる。

６、　Ｐｒｏｌｏｇウィンドウ２２においてて、アノ１
ソゲのためにプログラムが実行される。

例では、ｕｐｄａｔｅ　（ｘｘｘ）。

７、スパイ点でのアクションプログラムコードの実行結
果がトレース・サブウィンドウ２７に出力され（Ｘ＝、
０．ｐ＝　、、、　Ｎ＝、、、）、更に、中断時（ｓｔ
。

ｐ　ａｔ　Ｓｌ）にはデバッグコマンド入力のプロンプ
ト（ｃｏｍｍａｎｄ　？　）が出力される。

８、スパイ点での中断時、デバッグコマンドボタン領域
を選択。

ｃｏｎｔｔｎｕｅは実行ｍ続、ａｂｏｒ　ｔは実行中止
、ｂｒｅａｋは新しい実行レベルに入る。

９．５ｐｙｏｆｆボタン領域選択 原ソーステキストをＰｒｏｌｏｇプログラム実行部８の
ワーキングメモリに再登録して、Ｐｒｏｌｏｇプログラ
ム実行部８のデバッグモードを終了させる。

なお、ｑｕｉｔボタン領域は各部２〜７の動作を終了さ
せる。

（発明の効果） 以上説明したように、本発明のＰｒｏｌｏｇソースレベ
ル・デバッグシステムは、デバッグの際に用いるスパイ
点の設定を述語定義のソーステキスト中にアクションプ
ログラムコードを挿入する形で行うため、デバッグ時に
真に必要とするトレース情報のみの出力が可能になる。

また、スパイ点の位置及び仕様の設定が、ディスプレイ
とマウスの利用による会話形式で行える構成であるから
、デバッグを極めて能率よく行えるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例のＰｒｏｌｏｇソースレベル
・デバッグシステムの構成を示す機能ブロック図、第２
図は上記デバッグシステムによるデバッグ作業時のディ
スプレイ画面の表示内容を例示する概念図、第３図はＰ
ｒｏｌｏｇ言語のプログラムの一例を示す概念図、第４
図は第３図のプログラムの実行の一例を示す概念図、第
５図から第７図までは第３図のプログラムに対する従来
のデバッグ機能によるデバッグ作業内容の一例を示す概
念図、第８図はＰｒｏｌｏｇ言語に対する従来のデバッ
グ機能におけるデバッグコマンドの一覧を示す概念図、
第９図はＰｒｏｌｏｇ言語のプログラムの他の例を示す
概念図、第１０図から第１５図までは第９図のプログラ
ムに対する従来のデバッグ機能によるデバッグ作業の内
容の一例を示す概念図である。 １・・・Ｐｒｏｌｏｇソースプログラム、２・・・ソー
ステキスト抽出部、３・・・スパイ点の位置及び仕様設
定部、４・・・デバッグ用ソーステキスト登録部、５・
・・ソーステキスト復元部、６・・・デバッグ作業入出
力部、７・・・マンマシンインタフェース制御部、８・
・・Ｐｒｏｌｏｇプログラム実行部、９・・・デバッグ
用アクションコードを含むソーステキスト、１０・・・
デバッグの終了後に復元される原ソーステキスト、１１
・・・ディスプレイ、１２・・・マウス、２１・・・デ
ィスプレイ画面、２２・・・Ｐｒｏｌｏｇウィンドウ、
２３・・・デバッグウィンドウ、２４・・・スパイ・サ
ブウィンドウ、２５・・・パネル・サブウィンドウ、２
６・・・テキスト・サブウィンドウ、２７・・・トレー
ス・サブウィンドウ。 第 図

Claims (1)

1. 【特許請求の範囲】 Ｐｒｏｌｏｇ系言語のソースプログラム中からデバッグ
   対象として指定された述語のソーステキストを抽出する
   ソーステキスト抽出部と、 この抽出されたソーステキスト中の述語本体を構成する
   述語呼出しの間にスパイ点の位置を設定すると共にデバ
   ッグ実行時のこのスパイ点の有効性、プログラム実行の
   中断条件、トレース情報の出力条件、出力するトレース
   情報の内容を含むスパイ点の仕様を設定し、この設定に
   基づきアクションプログラムコードをスパイ点の位置に
   挿入することによりデバッグ用ソーステキストを生成す
   るスパイ点及び仕様設定部と、 このデバッグ用ソーステキストをＰｒｏｌｏｇプログラ
   ム実行部のワーキングメモリに登録してこのＰｒｏｌｏ
   ｇプログラム実行部によるデバッグの実行を可能にする
   デバッグ用ソーステキスト登録部と、前記デバッグの実
   行中に制御がスパイ点に達した時に前記設定済みのスパ
   イ点の仕様に従ってトレース情報の出力、実行中断、実
   行再開、任意プログラム実行等のデバッグを実行するＰ
   ｒｏｌｏｇプログラム実行部と、 前記デバッグの終了の際に前記Ｐｒｏｌｏｇプログラム
   実行部のワーキングメモリ内のソーステキストをデバッ
   グ開始以前の状態に復元するソーステキスト復元部と、 前記各部の動作を対話形式で制御可能とするディスプレ
   イ、マウス及びマンマシンインタフェース部とを備えた
   ことを特徴とするＰｒｏｌｏｇソースレベル・デバッグ
   システム。