JPH04340626A - 継承階層論理型言語の処理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は継承階層を陽に扱う論理
型言語の処理方法に関するものである。

【０００２】

【従来の技術】Ｐｒｏｌｏｇは論理型言語として広く使
用されているが、これは、個別の事物のみを記述の対象
としている。これに対し、個別の事物を意味的に含む一
般的な概念も記述の対象とすることにより、継承階層の
表現・検索を効率的に実現しようとするものに、ＰＡＬ
（赤間　”ＰＡＬ：継承階層を扱う拡張Ｐｒｏｌｏｇ”
　情報処理学会論文誌，　Ｖｏｌ．２８，　ｐｐ３２２
−３２９，　１９８７参照）、ＬＯＧＩＮ（Ａｉｔ−Ｋ
ａｃｉ　＆Ｎａｓｒ　”ＬＯＧＩＮ：Ａ　Ｌｏｇｉｃ　
Ｐｒｏｇｒａｍｍｉｎｇ　Ｌａｎｇｕａｇｅ　ｗｉｔｈ
　Ｂｕｉｌｔ−Ｉｎ　Ｉｎｈｅｒｉｔａｎｃｅ”　Ｊｏ
ｕｒｎａｌ　ｏｆ　Ｌｏｇｉｃ　Ｐｒｏｇｒａｍｍｉｎ
ｇ，　Ｖｏｌ．３，　ｐｐ１８５−２１５，　１９８６
参照）、ＥＰＯＳ（Ｈｕｂｅｒ．Ｍ　＆　Ｖａｒｓｅｋ
．Ｉ”Ｅｘｔｅｎｄｅｄ　Ｐｒｏｌｏｇ　ｆｏｒ　Ｏｒ
ｄｅｒ−ＳｏｒｔｅｄＲｅｓｏｌｕｔｉｏｎ”　’８７
　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｓｙｍｐｏｓｉｕｍ　
ｏｎ　Ｌｏｇｉｃ　Ｐｒｏｇｒａｍｍｉｎｇ　ｐｐ３４
−４３参照）などがある。こういった継承階層を陽に扱
う論理型言語を以後は、「継承階層論理型言語」と呼ぶ
ことにする。これの記述形式は言語毎に異なるが、以下
では、分かりやすさのため、日本語によるＰｒｏｌｏｇ
風の記述形式を用いることとする。

【０００３】継承階層論理型言語の扱う知識は、継承階
層とファクト節とルール節とゴール節からなる。ファク
ト節とルール節を合わせてプログラム節という。以下に
例を示す。

【０００４】例１）■Ｊｏｈｎは人に属する。

【０００５】■Ｂｏｂは人に属する。

【０００６】■Ｍａｒｙは人に属する。

【０００７】■ｃｓ１は職場に属する。

【０００８】■Ｊｏｈｎはｃｓ１で働く。

【０００９】■ｃｓ１の管理者はＢｏｂである。

【００１０】■人の働く職場の管理者がＸなら、Ｘはそ
の人の上司である。

【００１１】■ＢｏｂはＭａｒｙの管理者である。

【００１２】■ｃｓ１で働く者とその上司は？例えば、
例１を継承階層論理型言語で表現するなら、■・■・■
・■・■・■・■・■・■はそれぞれ、Ｓ１・Ｓ２・Ｓ
３・Ｓ４・Ｓ５・Ｓ６・Ｓ７・Ｓ８・Ｑ１のように表さ
れる。Ｓ１・Ｓ２・Ｓ３・Ｓ４は継承階層。Ｓ５・Ｓ６
・Ｓ８はファクト節、Ｓ７はルール節、Ｑ１はゴール節
である。各節の　”←”　の左辺部をヘッド部、右辺部
をボディ部と呼ぶ。

【００１３】 　　　　Ｊｏｈｎ＜人　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　（Ｓ１）　　　　Ｂｏｂ＜人
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　（Ｓ２）　　　　Ｍａｒｙ＜人　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　（Ｓ３）　　
　　ｃｓ１＜職場　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　（Ｓ４）　　　　働く（Ｊｏｈｎ，
　ｃｓ１）←　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　（
Ｓ５）　　　　管理者（ｃｓ１，　Ｂｏｂ）←　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　（Ｓ６）　　　　上司（人
：Ｘ，人：Ｙ）←　働く（人：Ｙ，職場：Ｚ），　　　
　　　　　　　　　　　　　　　　　　　　　管理者（
職場：Ｚ，人：Ｘ）　　　　　　　　　　　　　　　　
　　　（Ｓ７）　　　　上司（Ｂｏｂ，　Ｍａｒｙ）←
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　（Ｓ８）　　　
　←　働く（人：Ｖ，ｃｓ１），　上司（人：Ｗ，人：
Ｖ）　　　　　　　　　　　　　　　　　　　　　　　
（Ｑ１）ここで、”Ｊｏｈｎ”・”Ｂｏｂ”・”Ｍａｒ
ｙ”・”ｃｓ１”は定数、”人”・”職場”は領域、”
働く”・”管理者”・”上司”は述語である。ｄを領域
、ｘを変数とするとき、”ｄ：ｘ”は変数ｘがｄに属す
る定数のみを値としてとることを示す。”ｄ：ｘ”と定
数を項とよぶ。Ｐを述語、ｔ１，…，ｔｎを項とすると
き、Ｐ（ｔ１，…，ｔｎ）を基本式とよぶ。”働く（Ｊ
ｏｈｎ，　ｃｓ１）”・”管理者（ｃｓ１，　Ｂｏｂ）
”・”上司（人：Ｘ，人：Ｙ）”などは基本式である。 また、”＜”の関係は推移的であり、かつ非対称的であ
るとする。すなわち、ａ１＜ａ２かつａ２＜ａ３ならば
、ａ１＜ａ３であり、かつ、ａ１＜ａ２とａ２＜ａ１が
同時に成り立つことはない。

【００１４】質問処理手順を、Ｓ１〜Ｓ８を知識として
、Ｑ１を質問としたときの具体例により説明する。

【００１５】１）Ｑ１のボディ部の一番左にある基本式
　”働く（人：Ｖ，ｃｓ１）”を選ぶ。これを「選択式
」とよぶ。 知識の中からこれと同じ述語をもつ節をひとつ選ぶ。こ
れを「入力節」とよぶ。ここではＳ５の　”働く（Ｊｏ
ｈｎ，　ｃｓ１）←”　を入力節とする。選択式の　”
人：Ｖ”　を　”Ｊｏｈｎ”　に置き換えることによっ
て選択式と入力節とは同一となる。このことを「代入｛
人：Ｖ／Ｊｏｈｎ｝により選択式と入力節との単一化処
理に成功する」という。すべての変数を定数によって置
き換える代入を基礎代入という。

【００１６】項ｔ２を項ｔ１に置き換えてよいのは次の
いずれかである。ただし、ｃ１は定数、ｄ１・ｄ２は領
域、ｘ１・ｘ２は変数である。

【００１７】・ｔ２がｄ２：ｘ２、項ｔ１がｃ１の形を
しているときは、ｃ１＜ｄ２の場合。

【００１８】・ｔ２がｄ２：ｘ２、項ｔ１がｄ１：ｘ１
の形をしているときは、ｄ１＜ｄ２の場合。

【００１９】単一化処理に成功すれば、ゴール節から選
択式を除き、入力節にボディ部があればそれをゴール節
に加えたものに、前の代入を施し、これを新たなゴール
節とする。この処理を「導出」とよぶ。ここでは導出に
より、 　　　　←　上司（人：Ｗ，Ｊｏｈｎ）　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　（Ｑ２）が新たなゴール節となる。

【００２０】２）”上司（人：Ｗ，Ｊｏｈｎ）”を選択
式とし、Ｓ７の 上司（人：Ｘ，人：Ｙ）←　働く（人：Ｙ，職場：Ｚ）
，　管理者（職場：Ｚ，人：Ｘ）を入力節とする。代入
｛人：Ｘ／人：Ｗ，人：Ｙ／Ｊｏｈｎ｝により単一化処
理に成功する。新たなゴール節は 　　　　←　働く（Ｊｏｈｎ，職場：Ｚ），　管理者（
職場：Ｚ，人：Ｗ）　　　　　　　　　　　　　　　（
Ｑ３）となる。

【００２１】３）”働く（Ｊｏｈｎ，職場：Ｚ）”を選
択式とし、Ｓ５の　　”働く（Ｊｏｈｎ，　ｃｓ１）←
”　　を入力節とする。代入｛職場：Ｚ／ｃｓ１｝によ
り単一化処理に成功する。新たなゴール節は 　　　　←　管理者（ｃｓ１，人：Ｗ）　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　（Ｑ４）となる。

【００２２】４）”管理者（ｃｓ１，人：Ｗ）”を選択
式とし、Ｓ５の　　”管理者（ｃｓ１，　Ｂｏｂ）←”
　　を入力節とする。代入｛人：Ｗ／Ｂｏｂ｝により単
一化処理に成功する。このとき、ゴール節の中身はなく
なるが、このことを「空節が導出される」という。空節
が導出されたならば、今までの代入｛人：Ｖ／Ｊｏｈｎ
｝・｛人：Ｘ／人：Ｗ，人：Ｙ／Ｊｏｈｎ｝・｛職場：
Ｚ／ｃｓ１｝・｛人：Ｗ／Ｂｏｂ｝を合成した代入｛人
：Ｖ／Ｊｏｈｎ，人：Ｘ／Ｂｏｂ，人：Ｙ／Ｊｏｈｎ，
職場：Ｚ／ｃｓ１，人：Ｗ／Ｂｏｂ｝のうち、Ｑ１内の
変数に関する｛人：Ｖ／Ｊｏｈｎ，人：Ｗ／Ｂｏｂ｝を
求める。この代入を「正解代入」という。

【００２３】５）”管理者（ｃｓ１，人：Ｗ）”を選択
式とし、Ｓ５以外の入力節を捜す。これが存在すれば、
選択式と入力節との単一化を試みる。ここでは存在しな
いので、手順３）の状態に戻る。これを「バックトラッ
ク」という。

【００２４】６）”働く（Ｊｏｈｎ，職場：Ｚ）”を選
択式とし、Ｓ４以外の入力節を捜す。存在しないので、
手順２）の状態にバックトラックする。

【００２５】７）”上司（人：Ｗ，Ｊｏｈｎ）”を選択
式とし、Ｓ６以外の入力節を捜す。Ｓ８の　”上司（Ｂ
ｏｂ，　Ｍａｒｙ）←”　がえられるが、単一化処理に
失敗する。

【００２６】８）”上司（人：Ｗ，Ｊｏｈｎ）”を選択
式とし、Ｓ６とＳ８以外の入力節を捜す。存在しないの
で、手順１）の状態にバックトラックする。

【００２７】９）”働く（人：Ｖ，ｃｓ１）”を選択式
とし、Ｓ５以外の入力節を捜す。存在せず、かつ、もど
る手順も残っていないので、質問処理は終了する。

【００２８】

【発明が解決しようとする課題】

（∀Ｘ／ｄ　Ｂ（Ｘ）→Ａ（Ｘ））∧（∃Ｘ／ｄ　Ｂ（
Ｘ））というタイプの多ソート論理式を考える。これは
、領域ｄに属する全ての変数Ｘに対して、Ｂ（Ｘ）→Ａ
（Ｘ）が成り立ち、領域ｄに属するある変数Ｘに対して
、Ｂ（Ｘ）が成り立つことを意味する。（例えば、「ｔ
大学が購入したコンピュータはすべてａ社が製造した」
という連体修飾を含む命題は多ソート論理式では（∀Ｘ
／コンピュータ　購入した（ｔ大学，Ｘ）→製造した（
ａ社，Ｘ））∧（∃Ｘ／コンピュータ　購入した（ｔ大
学，Ｘ））のように、このタイプの論理式として表すこ
とができる）これを継承階層論理型言語で表現すると、 　　　　Ａ（ｄ：Ｘ）←Ｂ（ｄ：Ｘ）　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　（Ｓ９）　　　　Ｂ（ｃ１）　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　（Ｓ１０
）となる。Ｂ（ｃ１）は、∃Ｘ／ｄ　Ｂ（Ｘ）をスコー
レム化したものであり、ｃ１は領域ｄに属する定数であ
る。これに対し、ｄ＜ｄ’であるとき、 　　　　←Ａ（ｄ’：Ｙ）　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　（Ｑ５）という質問処理を実行す
ると、まず、代入｛ｄ’：Ｙ／ｄ：Ｘ｝により、Ｑ５は
Ｓ９との単一化処理に成功し、”←Ｂ（ｄ：Ｘ）”　が
新たなゴール節として得られ、次に、代入｛ｄ：Ｘ／ｃ
１｝により、これはＳ１０との単一化に成功し、空節が
導出される。以上、２回の単一化により、正解代入｛ｄ
’：Ｙ／ｃｓ１｝を得ることができる。

【００２９】 Ｂ（Ｘ）＝Ｂ１（Ｘ）∧…∧Ｂｎ（Ｘ）のときは、知識
は、　　　　Ａ（ｄ：Ｘ）←Ｂ１（ｄ：Ｘ），…，Ｂｎ
（ｄ：Ｘ）　　　　　　　　　　　　　　　　　　　　
　　　（Ｓ１１）となり、Ｑ５を質問としたとき、ｎ＋
１回の単一化処理で、正解代入が得られる。本発明では
、上の両方の場合に対し、１回または２回の単一化処理
で、正解代入が得られる処理方式を提供する。

【００３０】

【課題を解決するための手段】Ｓ９・Ｓ１０は、Ｓ１１
・Ｓ１２を、ｎ＝１としたものであるので、以下では、
Ｓ１１・Ｓ１２のみを考える。

【００３１】Ｓ１１・Ｓ１２がひとまとまりの知識とし
て与えられているものとする。ここでは、ヘッド部とボ
ディ部が　”←＾”　という記号でつながれた新たな記
述形式を仮定し、これを連体修飾節とよぶことにする。 連体修飾節もプログラム節の一つである。Ｓ１１・Ｓ１
２は、連体修飾節として、 　　　　Ａ（Ｘ）←＾　Ｂ１（Ｘ），…，Ｂｎ（Ｘ）　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　（Ｓ１３）と表されているものとする。まず、
Ｓ１３を内部的に、Ｓ１１・Ｓ１２・Ｓ１４のように展
開する。

【００３２】 　　　　Ａ（ｃ１）　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　（Ｓ１４）この際、Ｓ１１のＡ（
ｄ：Ｘ）のデータエリア内にＡ（ｃ１）へのポインタを
保持し、Ｂ１（Ｘ）〜Ｂｎ（Ｘ）のそれぞれのデータエ
リア内に、Ｂ１（ｃ１）〜Ｂｎ（ｃ１）へのポインタを
保持する。そして、質問処理の過程において、Ｓ１１が
入力節として選ばれて単一化処理に成功したならば、Ｓ
１２・Ｓ１４が入力節として選ばれることがないように
マスクをかける。入力節としてのＳ１１の処理が終われ
ばマスクをはずす。

【００３３】ルール節およびファクト節を有するプログ
ラム節を処理対象とする継承階層論理型言語処理系にお
いて、ルール節のボディ部の基本式を満足する基礎代入
が知られているルール節に対して、そのルール節のヘッ
ド部およびボディ部の各基本式にその基礎代入を行った
ファクト節とその参照可否情報とをメモリに格納し、ゴ
ール節の処理中、入力節として選択されたルール節の処
理開始時に当該ルールのヘッド部およびボディ部の各基
本式の基礎代入例であるファクト節の参照可否情報を参
照不可に設定し、当該ルール節の処理終了時に、参照可
否情報を参照可に再設定し、参照可否情報が参照不可と
設定されているファクト節は入力節として選択しないこ
とを特徴とする。

【００３４】

【作用】本発明では質問処理を実行したとき、選択式が
Ｑ５であれば、Ｓ１４またはＳ１１が入力節として選ば
れる可能性がある。Ｓ１４が入力節として選ばれたなら
ば、代入｛ｄ’：Ｙ／ｃ１｝により、１回の単一化処理
で正解代入を得ることができる。また、Ｓ１１が入力節
として選ばれたならば、代入｛ｄ’：Ｙ／ｄ：Ｘ｝によ
り、Ｑ５とＳ１１との単一化処理に成功するが、Ｓ１２
にはマスクがかけられているので、これらが入力節とし
て選ばれることはない。すなわち、本発明では１回また
は２回の単一化処理で正解代入を得ることができる。

【００３５】

【実施例】以下、本発明の一実施例を、図面により詳細
に説明する。

【００３６】図１は、本発明の実施例においてプログラ
ム節を格納するデータ構造を表す図、図２は、質問ゴー
ル節処理で使用するスタックのデータ構造を表す図、図
３は、質問ゴール節処理を表すフローチャート、図４は
、質問ゴール節処理における入力節選択処理の詳細を表
すフローチャート、図５から図７は、質問ゴール節処理
の過程におけるスタックの状態を表す図、図８は、プロ
グラム節入力時に使用する変数名テーブルのデータ構造
を表す図、図９は、入力プログラム節の格納処理を表す
フローチャート、図１０は、入力プログラム節の格納処
理における連体修飾節格納処理の詳細を表すフローチャ
ート、図１１は、連体修飾節格納処理における具象化フ
ァクト節格納処理の詳細を表すフローチャート、図１２
は、本発明の方法を実施するための装置構成例を表す図
である。

【００３７】図１により、プログラム節の格納形式を説
明する。

【００３８】本実施例では、プログラム節を、述語名と
プログラム節の格納位置の対応を表すインデクスセル格
納エリア１０１と、プログラム節のヘッド部を格納する
述語セル格納エリア１０２と、プログラム節のボディ部
を格納するボディ部述語セル格納エリア１０３に分けて
格納する。

【００３９】インデクスセル格納エリア１０１は、述語
名フィールド１０５と述語セルポインタ１０６を組とし
たインデクスセル１０４を格納するエリアである。述語
名フィールド１０５には、プログラム節の述語名を格納
する。述語セルポインタ１０６には、述語名フィールド
１０５に格納された述語名を持つプログラム節のヘッド
部が格納されている単一あるいは複数の述語セル１０７
の先頭アドレスを格納する。

【００４０】述語セル格納エリア１０２は、マスクフラ
グ１０８、ヘッド部節フィールド１０９、マスク述語セ
ルポインタ１１０、および、ボディ部ポインタ１１１を
組とした述語セル１０７を格納するエリアである。マス
クフラグ１０８は質問ゴール節処理における入力節選択
処理で選択の可否を表す情報である。以下では、マスク
フラグ１０８の値が１であるとき選択不可であるとし、
値が０であるとき選択可とする。また、マスクフラグ１
０８の値を１とすることを「マスクフラグを設定する」
といい、値を０とすることを「マスクフラグを解除する
」という。ヘッド部節フィールド１０９には、ファクト
節、ルール節のヘッド部および連体修飾節のヘッド部を
格納する。マスク述語セルポインタ１１０には、当該述
語セルのヘッド部節フィールドに格納されている節が連
体修飾節のヘッド部であるとき、格納時にその連体修飾
節のヘッド部の変数を定数化して生成した具象化ファク
ト節を格納した述語セルのアドレスを格納する。当該述
語セルのヘッド部節フィールドに格納されている節がフ
ァクト節あるいは、ルール節のヘッド部であるときには
、マスク述語セルポインタはＮＵＬＬ（無効ポインタを
表す）である。ボディ部ポインタ１１１は、当該述語セ
ルのヘッド部節フィールドに格納されている節がルール
節のヘッド部あるいは連体修飾節のヘッド部であるとき
、ボディ部の先頭の節を格納したボディ部述語セル１１
２のアドレスを格納する。

【００４１】ボディ部述語セル格納エリア１０３は、ボ
ディ部節フィールド１１３、マスク述語セルポインタ１
１４、および、ボディ部次節ポインタ１１５を組とした
ボディ部述語セル１１２を格納するエリアである。ボデ
ィ部節フィールド１１３は、ルール節および連体修飾節
のボディ部を構成する各節を一つずつ格納する。マスク
述語セルポインタ１１４は、当該ボディ部述語セル１１
２に格納された節が連体修飾節のボディ部の節の一つで
あるとき、格納時にそのボディ部の節の変数を定数化し
て生成した具象化ファクト節を格納した述語セル１０７
のアドレスを格納する。ボディ部次節ポインタ１１５は
、ボディ部を構成する次の節を格納したボディ部述語セ
ル１１２のアドレスを格納する。

【００４２】次に、質問ゴール節処理方法について説明
することとし、プログラム節の格納処理方法については
後述する。

【００４３】図２は質問ゴール節処理で使用するスタッ
クのデータ構造を表す図である。スタック２０１は、ゴ
ール節フィールド２０３、代入フィールド２０４および
述語セルポインタ２０５からなるスタックセル２０２を
格納するエリアである。以下では、各スタックセルを先
頭から順に第０スタックセル、第１スタックセル、第２
スタックセル、．．．、第ｎスタックセルと呼ぶ。２０
６はスタックの現在位置をさすスタックポインタである
。以下では、スタックポインタ２０６が指しているスタ
ックセル２０２を現スタックセルと呼ぶ。ゴール節フィ
ールド２０３には質問処理の対象となっているゴール節
を格納する。代入フィールドには、ゴール節フィールド
内の先頭の節（選択節）と格納されているプログラム節
から選択された入力節とをユニファイするための代入を
格納する。述語セルポインタ２０５には入力節のヘッド
部を格納した述語セル１０７のアドレスを格納する。

【００４４】図３のフローチャートにより、質問ゴール
節処理を詳細に説明する。

【００４５】まず、ステップ３０１でスタックを初期化
する。すなわち、スタックポインタ２０６にスタックの
底となる第０スタックセルのアドレスを格納する。

【００４６】次に、ステップ３０２では、質問ゴール節
を入力し、スタックポインタ２０６を一つ進め、現スタ
ックセル２０２のゴール節フィールド２０３に入力され
た質問ゴールを格納する。このとき、代入フィールド２
０４を空とし、述語セルポインタ２０５をＮＵＬＬとす
る。次にステップ３０３に進む。　　ステップ３０３で
は、現スタックセルのゴール節フィールドに格納されて
いるゴール節の先頭の節を選択式とする。次にステップ
３０４に進む。

【００４７】ステップ３０４の入力節選択処理では、選
択式と同一の述語を持つ入力節を選択し、選択された入
力節のヘッド部を格納した述語セル１０７のアドレスを
スタックセルの述語セルポインタ２０５に格納する。入
力節選択処理は、本発明が従来技術と異なる点であり、
後でさらに詳細に述べる。次にステップ３０５に進む。

【００４８】ステップ３０５では、ステップ３０４の入
力節選択処理で空でない入力節が得られたかどうかを判
定する。入力節が空、すなわち、現スタックセルの述語
セルポインタ２０５がＮＵＬＬならばステップ３０６に
進み、ＮＵＬＬでなければステップ３０７に進む。

【００４９】ステップ３０７では、選択節と入力節との
単一化を行い、単一化するための代入を求める。単一化
が可能でなければステップ３０４に進む。また、単一化
が可能であれば、単一化するための代入を現スタックセ
ルの代入フィールド２０４に格納し、ステップ３０８に
進む。

【００５０】ステップ３０８では、ゴール節フィールド
２０３に格納されているゴール節に対して入力節を適用
し新たなゴール節を導出する。すなわち、入力節がファ
クト節ならば、現スタックセルのゴール節フィールドに
格納されたゴール節に対して、選択節を取り除き、代入
フィールドに格納されている代入を施したものを、スタ
ックにプッシュする。また、入力節がルール節あるいは
連体修飾節ならば、現スタックセルのゴール節フィール
ドに格納されたゴール節に対して、選択節を入力節のボ
ディ部で置き換え、代入フィールドに格納されている代
入を施したものを、スタックにプッシュする。このとき
、代入フィールド２０４を空とし、述語セルポインタ２
０５をＮＵＬＬとする。次に、ステップ３０９に進む。

【００５１】ステップ３０９では、現スタックセルのゴ
ール節フィールドを参照し、もし空ならばステップ３１
０に進み、空でなければステップ３０３に進む。

【００５２】ステップ３１０では、スタックの底から現
スタックセルまでの間にあるスタックセルの代入フィー
ルドに格納されている代入を組み合わせて表示装置に出
力する。次に、ステップ３０６に進む。

【００５３】また、ステップ３０６では、現スタックセ
ルを解放する。すなわち、スタックポインタを底の方向
に一つ戻す。次に、ステップ３１１に進む。

【００５４】ステップ３１１ではスタックが空であるか
どうかを判定する。もし、スタックポインタがスタック
の底（第０スタックセル）を指していればスタックは空
であり、質問ゴール節処理は終了する。スタックポイン
タがスタックの底を指していなければステップ３０３に
戻る。

【００５５】次に、図４のフローチャートにより、質問
ゴール節処理における入力節選択処理（ステップ３０４
）の詳細を説明する。まず、ステップ４０１では現スタ
ックセルの述語セルポインタがＮＵＬＬであるかどうか
を判定する。もしＮＵＬＬであればステップ４０２に進
み、ＮＵＬＬでなければステップ４０３に進む。

【００５６】ステップ４０２に進むのはその述語の最初
の呼出しである場合である。ステップ４０２では、イン
デクスセル格納エリアを参照して選択式の述語名につい
てのインデクスセルを見つけ、そのインデクスセルの述
語セルポインタをスタックの述語セルポインタにコピー
する。次にステップ４０５に進む。

【００５７】また、ステップ４０３では、現スタックセ
ルの述語セルポインタの指す述語セルのマスク述語セル
ポインタがＮＵＬＬでない場合、マスク述語セルポイン
タが指す述語セルのマスクフラグを解除、すなわち０に
する。またこのとき、そのスタックセルのボディ部ポイ
ンタがＮＵＬＬでなければ、ボディ部述語セルをたどり
各ボディ部述語セルのマスク述語セルポインタが指す述
語セルのマスクフラグをすべて解除する。次のステップ
４０４では、現スタックセルの述語セルポインタを１つ
進める。次にステップ４０５に進む。

【００５８】ステップ４０５では、現スタックセルの述
語セルポインタが指す述語セルに選択式と同一の述語を
持つプログラム節があるかどうかを判定する。もし、そ
のようなプログラム節があればステップ４０７に進み、
無ければステップ４０６に進む。

【００５９】ステップ４０６では、現スタックセルの述
語セルポインタをＮＵＬＬにし入力節選択処理を終了す
る。これは入力節が空であることを表す。

【００６０】また、ステップ４０７では、現スタックセ
ルの述語セルポインタが指す述語セルのマスクフラグが
設定されているかどうかを判定する。マスクフラグが設
定されている、すなわち１であればステップ４０１に進
む。またマスクフラグが設定されていない、すなわち０
であれば、ステップ４０８に進む。この場合、現スタッ
クセルの述語セルポインタが指す述語セルに格納されて
いるプログラム節が入力節として選択されたことになる
。

【００６１】ステップ４０８では、現スタックセルの述
語セルポインタが指す述語セルのマスク述語セルポイン
タがＮＵＬＬであるかどうかを判定する。もしＮＵＬＬ
であれば入力節選択処理は終了する。また、ＮＵＬＬで
なければマスクフラグを設定するためステップ４０９に
進む。

【００６２】ステップ４０９では現スタックセルの述語
セルポインタが指す述語セルのマスク述語セルポインタ
が指す述語セルのマスクフラグを１に設定する。次のス
テップ４１０では、当該述語セルのボディ部ポインタか
らボディ部述語セルのアドレスを得る。次にステップ４
１１に進む。

【００６３】ステップ４１１では、前ステップで得られ
たボディ部述語セルのマスク述語セルポインタが指す述
語セルのマスクフラグを１に設定する。次のステップ４
１２では、当該述語セルのボディ部次節ポインタがＮＵ
ＬＬであるかどうかを判定し、ＮＵＬＬであれば、入力
節選択処理を終了する。また、ＮＵＬＬでなければ、ス
テップ４１３に進み、当該述語セルのボディ部次節ポイ
ンタから次のボディ部述語セルのアドレスを得てステッ
プ４１１に戻る。

【００６４】以上述べた手順により入力節選択処理を実
現する。

【００６５】次に、「←製造した（ａ社，Ｙ）」という
質問ゴール節を例として、質問ゴール処理の具体例を示
す。

【００６６】図１には、「製造した（ａ社，ワープロ１
）」、「購入した（ｔ大学，ＷＳ２０５０）」、および
、「より高い（ＷＳ２０５０，１００万円）」というフ
ァクト節と、「製造した（ａ社，コンピュータ：Ｘ）←
＾購入した（ｔ大学，コンピュータ：Ｘ），より高い（
コンピュータ：Ｘ，１００万円）」という連体修飾節が
格納された状態が示されている。

【００６７】まず図３のステップ３０１でスタックを初
期化する。次に、ステップ３０２で質問ゴール節「←製
造した（ａ社，Ｙ）」を第１スタックセルのゴール節フ
ィールドに格納する。次にステップ３０３で、ゴール節
から選択式を選択する。この例では「製造した（ａ社，
Ｙ）」が選択式となる。次に、ステップ３０４で入力節
選択処理を行う。すなわち図４のステップ４０１に進む
。

【００６８】図４のステップ４０１では、第１スタック
の述語セルポインタがＮＵＬＬであるのでステップ４０
２に進み、インデクスセル格納エリアを参照し、「製造
した」という述語についての述語セルポインタとして１
２０１番地を得て第１スタックセルの述語セルポインタ
に格納する。次のステップ４０５では、１２０１番地に
「製造した」という述語を持つプログラム節があるので
、ステップ４０７に進む。このとき１２０１番地の述語
セルではマスクフラグが設定されていないのでステップ
４０８に進む。この時点で「製造した（ａ社，ワープロ
１）」というファクト節が入力節として選択されたこと
になる。ステップ４０８では、マスク述語セルポインタ
がＮＵＬＬであるので入力節選択処理を終了し図３のス
テップ３０５に戻る。

【００６９】次にステップ３０５では、第１スタックセ
ルの述語セルポインタを参照し、ＮＵＬＬでない（１２
０１番地）のでステップ３０７に進む。ここで、選択式
「製造した（ａ社，Ｙ）」と入力節「製造した（ａ社，
ワープロ１）」との単一化を行う。これらは、代入「｛
Ｙ／ワープロ１｝」により単一化が可能であるので、こ
の代入を第１スタックセルの代入フィールドに格納しス
テップ３０８に進む。ステップ３０８では、入力節がフ
ァクト節であるので、第１スタックセルのゴール節フィ
ールドから選択式を取り除き、代入フィールドの代入を
施したものを第２スタックセルのゴール節フィールドに
格納するが、この場合空節が格納されることになる。次
のステップ３０９ではゴール節が空節であるのでステッ
プ３１０に進む。この時のスタックの状態は、図５の通
りである。ステップ３１０では、スタックに格納された
代入を参照し、質問ゴール節の中の変数Ｙに対して「ワ
ープロ１」を解として出力しステップ３０６に進む。ス
テップ３０６ではスタックポインタを一つ戻す。 この場合スタックポインタは第１スタックセルを指すこ
とになる。次のステップ３１１ではスタックが空でない
のでステップ３０３に戻る。

【００７０】ステップ３０３では、第１スタックセルの
ゴール節フィールドを参照し、「製造した（ａ社，Ｙ）
」が再び選択式として選択される。次のステップ３０４
では図４の入力節選択処理を行う。すなわち、ステップ
４０１で第１スタックセルの述語セルポインタを参照し
、ＮＵＬＬでない（１２０１番地）のでステップ４０３
に進む。１２０１番地の述語セルのマスク述語セルポイ
ンタはＮＵＬＬであるのでマスクフラグを解除すべき述
語セルが無いためそのままステップ４０４に進む。 ステップ４０４では、第１スタックセルの述語セルポイ
ンタを１つ進め１２０２番地とする。次のステップ４０
５では１２０２番地に「製造した」という述語を持つプ
ログラム節があるのでステップ４０７に進む。１２０２
番地の述語セルにはマスクフラグが設定されていないの
でステップ４０８に進む。この時点で「製造した（ａ社
，コンピュータ：Ｘ）←＾購入した（ｔ大学，コンピュ
ータ：Ｘ），より高い（コンピュータ：Ｘ，１００万円
）」という連体修飾節が入力節として選択されたことに
なる。次のステップ４０８では、１２０２番地の述語セ
ルのマスク述語セルポインタが１２０３番地を指してお
りＮＵＬＬでないのでステップ４０９に進む。ステップ
４０９では、１２０３番地の述語セルのマスクフラグを
設定する。次のステップ４１０では１２０２番地の述語
セルのボディ部ポインタを参照し１３０１番地を得る。 次のステップ４１１では、１３０１番地のマスク述語セ
ルポインタによって指される１２１１番地の述語セルの
マスクフラグを設定する。次のステップ４１２では１３
０１番地のボディ部次節ポインタが１３０２番地であり
ＮＵＬＬでないのでステップ４１３に進む。次に、１３
０２番地のボディ部述語セルにたいしステップ４１１の
処理を行う。すなわち、１３０２番地のボディ部述語セ
ルのマスク述語セルポインタが指すところの、１２２１
番地の述語セルのマスクフラグを設定する。次のステッ
プ４１２では、１３０２番地のボディ部述語セルのボデ
ィ部次節ポインタがＮＵＬＬであるため、入力節選択処
理を終了し、図３のステップ３０５に進む。

【００７１】ステップ３０５では第１スタックセルの述
語セルポインタを参照し、ＮＵＬＬでない（１２０２番
地）のでステップ３０７に進む。ここで、選択式「製造
した（ａ社，Ｙ）」と入力節のヘッド部「製造した（ａ
社，コンピュータ：Ｘ）」との単一化を行う。これらは
、代入「｛Ｙ／コンピュータ：Ｘ｝」により単一化が可
能であるので、この代入を第１スタックセルの代入フィ
ールドに格納しステップ３０８に進む。

【００７２】ステップ３０８では、入力節が連体修飾節
であるので、第１スタックセルのゴール節フィールドに
格納されたゴール節に対して、選択式を連体修飾節のボ
ディ部で置き換え、代入フィールドの代入を施したもの
を第２スタックセルのゴール節フィールドに格納するが
、この場合「←購入した（ｔ大学，コンピュータ：Ｘ）
，より高い（コンピュータ：Ｘ，１００万円）」という
ゴール節が格納されることになる。次のステップ３０９
では、第２スタックセルのゴール節フィールドが空節で
ないのでステップ３０３に進む。

【００７３】ステップ３０３では、第２スタックセルの
ゴール節フィールドに格納されたゴール節「←購入した
（ｔ大学，コンピュータ：Ｘ），より高い（コンピュー
タ：Ｘ，１００万円）」から先頭の「購入した（ｔ大学
，コンピュータ：Ｘ）」が選択式として選択される。 次に、ステップ３０４で入力節選択処理を行う。すなわ
ち図４のステップ４０１に進む。

【００７４】図４のステップ４０１では、第２スタック
の述語セルポインタがＮＵＬＬであるのでステップ４０
２に進み、インデクスセル格納エリアを参照し、「購入
した」という述語についての述語セルポインタとして１
２１１番地を得て第２スタックセルの述語セルポインタ
に格納する。次のステップ４０５では、１２１１番地に
「購入した」という述語を持つプログラム節があるので
、ステップ４０７に進む。このとき１２１１番地の述語
セルではマスクフラグが設定されているのでステップ４
０１に進む。

【００７５】ステップ４０１では、第２スタックセルの
述語セルポインタを参照し、ＮＵＬＬでない（１２１１
番地）のでステップ４０３に進む。１２１１番地の述語
セルのマスク述語セルポインタはＮＵＬＬであるのでマ
スクフラグを解除すべき述語セルが無いためそのままス
テップ４０４に進む。ステップ４０４では、第２スタッ
クセルの述語セルポインタを１つ進め１２１２番地とす
る。次のステップ４０５では１２１２番地に「購入した
」という述語を持つプログラム節があるのでステップ４
０７に進む。１２１２番地の述語セルにはマスクフラグ
が設定されていないのでステップ４０８に進む。この時
点で「購入した（ｔ大学，ＷＳ２０５０）」というファ
クト節が入力節として選択されたことになる。ステップ
４０８では１２１２番地の述語セルのマスク述語セルポ
インタがＮＵＬＬであるので入力節選択処理を終了し、
図３のステップ３０５に戻る。

【００７６】次にステップ３０５では、第２スタックセ
ルの述語セルポインタを参照し、ＮＵＬＬでない（１２
１２番地）のでステップ３０７に進む。ここで、選択式
「購入した（ｔ大学，コンピュータ：Ｘ）」と入力節「
購入した（ｔ大学，ＷＳ２０５０）」との単一化を行う
。これらは、代入「｛Ｘ／ＷＳ２０５０｝」により単一
化が可能であるので、この代入を第２スタックセルの代
入フィールドに格納しステップ３０８に進む。ステップ
３０８では、入力節がファクト節であるので、第２スタ
ックセルのゴール節フィールドに格納されたゴール節に
対して、選択式を取り除き、代入フィールドの代入を施
したものを第３スタックセルのゴール節フィールドに格
納するが、この場合，ゴール節「←より高い（ＷＳ２０
５０，１００万円）」が格納されることになる。次のス
テップ３０９ではゴール節が空節でないのでステップ３
０３に進む。

【００７７】ステップ３０３では、第３スタックセルの
ゴール節フィールドに格納されたゴール節から「より高
い（ＷＳ２０５０，１００万円）」が選択式として選択
される。次に、ステップ３０４で入力節選択処理を行う
。すなわち図４のステップ４０１に進む。

【００７８】図４のステップ４０１では、第３スタック
の述語セルポインタがＮＵＬＬであるのでステップ４０
２に進み、インデクスセル格納エリアを参照し、「より
高い」という述語についての述語セルポインタとして１
２２１番地を得て第３スタックセルの述語セルポインタ
に格納する。次のステップ４０５では、１２２１番地に
「より高い」という述語を持つプログラム節があるので
、ステップ４０７に進む。このとき１２２１番地の述語
セルではマスクフラグが設定されているのでステップ４
０１に進む。

【００７９】ステップ４０１では、第３スタックセルの
述語セルポインタを参照し、ＮＵＬＬでない（１２２１
番地）のでステップ４０３に進む。１２２１番地の述語
セルのマスク述語セルポインタはＮＵＬＬであるのでマ
スクフラグを解除すべき述語セルが無いためそのままス
テップ４０４に進む。ステップ４０４では、第３スタッ
クセルの述語セルポインタを１つ進め１２２２番地とす
る。次のステップ４０５では１２２２番地に「より高い
」という述語を持つプログラム節があるのでステップ４
０７に進む。１２２２番地の述語セルにはマスクフラグ
が設定されていないのでステップ４０８に進む。この時
点で「より高い（ＷＳ２０５０，１００万円）」という
ファクト節が入力節として選択されたことになる。ステ
ップ４０８では１２２２番地の述語セルのマスク述語セ
ルポインタがＮＵＬＬであるので入力節選択処理を終了
し、図３のステップ３０５に戻る。

【００８０】次にステップ３０５では、第３スタックセ
ルの述語セルポインタを参照し、ＮＵＬＬでない（１２
２２番地）のでステップ３０７に進む。ここで、選択式
「より高い（ＷＳ２０５０，１００万円）」と入力節と
の単一化を行う。これらは、同一であり恒等代入により
単一化が可能である。第３スタックセルの代入フィール
ドを空にすることにより恒等代入を表す。次のステップ
３０８では、入力節がファクト節であるので、第３スタ
ックセルのゴール節フィールドから選択式を取り除き、
代入フィールドの代入を施したものを第４スタックセル
のゴール節フィールドに格納するが、この場合空節が格
納されることになる。次のステップ３０９ではゴール節
が空節であるのでステップ３１０に進む。この時のスタ
ックの状態は、図６の通りである。ステップ３１０では
、スタックに格納された代入を参照し、質問ゴール節の
中の変数Ｙに対して「ＷＳ２０５０」を解として出力し
ステップ３０６に進む。ステップ３０６ではスタックポ
インタを一つ戻す。この場合スタックポインタは第３ス
タックセルを指すことになる。次のステップ３１１では
スタックが空でないのでステップ３０３に戻る。

【００８１】ステップ３０３では、「より高い（ＷＳ２
０５０，１００万円）」が再び選択式として選択される
。次のステップ３０４では図４の入力節選択処理を行う
。すなわち、ステップ４０１で第３スタックセルの述語
セルポインタを参照し、ＮＵＬＬでない（１２２２番地
）のでステップ４０３に進む。１２２２番地の述語セル
のマスク述語セルポインタはＮＵＬＬであるのでマスク
フラグを解除すべき述語セルが無いためそのままステッ
プ４０４に進む。ステップ４０４では、第３スタックセ
ルの述語セルポインタを１つ進め１２２３番地とする。 次のステップ４０５では１２２３番地に「より高い」と
いう述語を持つプログラム節が無いのでステップ４０６
に進む。ステップ４０６では、第３スタックセルの述語
セルポインタをＮＵＬＬにする。入力節選択処理は失敗
終了し図４のステップ３０５に戻る。

【００８２】ステップ３０５では、第３スタックセルの
述語セルポインタがＮＵＬＬであるため、ステップ３０
６に進む。ステップ３０６ではスタックポインタを一つ
戻す。この場合スタックポインタは第２スタックセルを
指すことになる。次のステップ３１１ではスタックが空
でないのでステップ３０３に戻る。

【００８３】ステップ３０３では、第２スタックセルの
ゴール節フィールドに格納されたゴール節「←購入した
（ｔ大学，コンピュータ：Ｘ），より高い（コンピュー
タ：Ｘ，１００万円）」から先頭の「購入した（ｔ大学
，コンピュータ：Ｘ）」が再び選択式として選択される
。次に、ステップ３０４で入力節選択処理を行う。すな
わち図４のステップ４０１に進む。ステップ４０１では
第２スタックセルの述語セルポインタを参照し、ＮＵＬ
Ｌでない（１２１２番地）のでステップ４０３に進む。 １２１２番地の述語セルのマスク述語セルポインタはＮ
ＵＬＬであるのでマスクフラグを解除すべき述語セルが
無いためそのままステップ４０４に進む。ステップ４０
４では、第２スタックセルの述語セルポインタを１つ進
め１２１３番地とする。次のステップ４０５では１２１
３番地に「購入した」という述語を持つプログラム節が
無いのでステップ４０６に進む。ステップ４０６では、
第２スタックセルの述語セルポインタをＮＵＬＬにする
。入力節選択処理は失敗終了し図４のステップ３０５に
戻る。

【００８４】ステップ３０５では、第２スタックセルの
述語セルポインタがＮＵＬＬであるため、ステップ３０
６に進む。ステップ３０６ではスタックポインタを一つ
戻す。この場合スタックポインタは第１スタックセルを
指すことになる。次のステップ３１１ではスタックが空
でないのでステップ３０３に戻る。

【００８５】ステップ３０３では、「製造した（ａ社，
Ｙ）」が再び選択式として選択される。次のステップ３
０４では図４の入力節選択処理を行う。すなわち、ステ
ップ４０１で第１スタックセルの述語セルポインタを参
照し、ＮＵＬＬでない（１２０２番地）のでステップ４
０３に進む。

【００８６】ステップ４０３では、１２０２番地の述語
セルのマスク述語セルポインタが指す述語セル（１２０
３番地）のマスクフラグを解除する。そして、ボディ部
ポインタによって指されている一連のボディ部述語セル
、すなわち１３０１番地と１３０２番地のボディ部述語
セルについて、各マスク述語セルポインタが指す述語セ
ル（１２１１番地および１２２１番地の述語セル）のマ
スクフラグを解除する。次のステップ４０４では、第１
スタックセルの述語セルポインタを１つ進め１２０３番
地とする。次のステップ４０５では１２０３番地に「製
造した」という述語を持つプログラム節があるのでステ
ップ４０７に進む。１２０３番地の述語セルにはマスク
フラグが設定されていないのでステップ４０８に進む。 この時点で「製造した（ａ社，コンピュータ＃１）」と
いうファクト節が入力節として選択されたことになる。 ステップ４０８では、マスク述語セルポインタがＮＵＬ
Ｌであるので入力節選択処理を終了し図３のステップ３
０５に戻る。

【００８７】次にステップ３０５では、第１スタックセ
ルの述語セルポインタを参照し、ＮＵＬＬでない（１２
０３番地）のでステップ３０７に進む。ここで、選択式
「製造した（ａ社，Ｙ）」と入力節「製造した（ａ社，
コンピュータ＃１）」との単一化を行う。これらは、代
入「｛Ｙ／コンピュータ＃１｝」により単一化が可能で
あるので、この代入を第１スタックセルの代入フィール
ドに格納しステップ３０８に進む。ステップ３０８では
、入力節がファクト節であるので、第１スタックセルの
ゴール節フィールドに格納されたゴール節に対して、選
択式を取り除き、代入フィールドの代入を施したものを
第２スタックセルのゴール節フィールドに格納するが、
この場合空節が格納されることになる。次のステップ３
０９ではゴール節が空節であるのでステップ３１０に進
む。この時のスタックの状態は、図７の通りである。ス
テップ３１０では、スタックに格納された代入を参照し
、質問ゴール節の中の変数Ｙに対して「コンピュータ＃
１」を解として出力しステップ３０６に進む。ステップ
３０６ではスタックポインタを一つ戻す。この場合スタ
ックポインタは第１スタックセルを指すことになる。次
のステップ３１１ではスタックが空でないのでステップ
３０３に戻る。

【００８８】ステップ３０３では、「製造した（ａ社，
Ｙ）」が再び選択式として選択される。次のステップ３
０４では図４の入力節選択処理を行う。すなわち、ステ
ップ４０１で第１スタックセルの述語セルポインタを参
照し、ＮＵＬＬでない（１２０３番地）のでステップ４
０３に進む。１２０３番地の述語セルのマスク述語セル
ポインタはＮＵＬＬであるのでマスクフラグを解除すべ
き述語セルが無いためそのままステップ４０４に進む。 ステップ４０４では、第３スタックセルの述語セルポイ
ンタを１つ進め１２０４番地とする。次のステップ４０
５では１２０４番地に「製造した」という述語を持つプ
ログラム節が無いのでステップ４０６に進む。ステップ
４０６では、第１スタックセルの述語セルポインタをＮ
ＵＬＬにする。入力節選択処理は失敗終了し図４のステ
ップ３０５に戻る。

【００８９】ステップ３０５では、第１スタックセルの
述語セルポインタがＮＵＬＬであるため、ステップ３０
６に進む。ステップ３０６ではスタックポインタを一つ
戻す。この場合スタックポインタはスタックの底（第０
スタックセル）を指すことになる。次のステップ３１１
ではスタックが空である質問ゴール節処理を終了する。

【００９０】以上の質問ゴール節処理の過程では、質問
ゴール節「←製造した（ａ社，Ｙ）」に含まれる変数Ｙ
に対して、３つの解、｛ワープロ１、ＷＳ２０５０、コ
ンピュータ＃１｝を正しく求めることができた。また、
マスクフラグを参照した入力節選択処理により、１２１
１番地と１２２１番地の述語セルについてそれぞれ１度
ずつ合計２回の余分な単一化処理を削減することができ
た。削減された単一化処理によって得られるべき解は１
２０３番地の述語セルにファクトとして予め格納されて
おり、これを入力節とした１回の単一化処理によっても
とめることができる。すなわち、この具体例では１回の
単一化処理を節約できたことになる。

【００９１】一般には、連体修飾節に対して格納された
具象化ファクト節をｎ個とするとｎ−１個の単一化処理
を節約できるという効果がある。

【００９２】次に、プログラム節の格納処理方法につい
て説明する。

【００９３】図８は、プログラム節入力時に使用する変
数名テーブルのデータ構造を表す図である。変数名テー
ブル８０１は、変数名フィールド８０２と変数識別番号
フィールド８０３の組を格納するエリアである。変数名
フィールド８０２には、変数名を表す文字列を格納する
。変数識別番号フィールド８０３には各変数に与える変
数識別番号を格納する。変数名カウンタ８０４には使用
した変数識別番号の最大値を格納する。変数名カウンタ
は、最初のプログラム節を入力する前に一度だけ０に設
定する。変数名テーブル８０１はプログラム節を一つ入
力する度に空にする。一つのプログラム節内で新しい変
数が現れると、まず変数名カウンタの値を１増やし、そ
の変数に、変数名カウンタの新しい値を変数識別番号と
して与え、変数名テーブルに登録する。これにより、入
力プログラム節に現れる個々の変数にユニークな変数識
別番号を割り当てることができる。

【００９４】図９のフローチャートにより、入力プログ
ラム節の格納処理方法を説明する。

【００９５】ステップ９０１では、変数名カウンタ８０
４を初期化する。すなわち、変数名カウンタの値を０に
する。次にステップ９０２に進む。

【００９６】ステップ９０２では、変数名テーブルを初
期化する。すなわち、登録された変数が一つもない状態
にする。次にステップ９０３に進む。

【００９７】ステップ９０３では、入力装置からプログ
ラム節を入力する。ステップ９０４に進む。ステップ９
０４では、入力節が有ったかどうかを判定し、もし入力
節があればステップ９０５に進み、また入力節がなけれ
ばプログラム節格納処理を終了する。

【００９８】ステップ９０５では、入力されたプログラ
ム節のヘッド部の述語と同一の述語をヘッド部に持つプ
ログラム節が既に格納されているかどうかをインデクス
セル格納エリア１０１を参照して判定する。もし、その
述語と述語名フィールドの内容が一致するインデクスセ
ルがあればステップ９０６に進み、そのようなインデク
スセルがなければステップ９０７に進む。

【００９９】ステップ９０７では、新しい述語名に対応
するインデクスセルの割り当てを行う。使用中のインデ
クスセルの最後尾に新しいインデクスセルを作成する。 述語名をその新しいインデクスセルの述語名フィールド
１０５に格納する。次にステップ９０８に進む。

【０１００】ステップ９０８では、入力されたプログラ
ム節のヘッド部を格納する述語セルを割り当てる。使用
中の述語セルの最後尾に新しい述語セルを作成する。ス
テップ９０９に進む。

【０１０１】ステップ９０９では、ステップ９０７で割
り当てたインデクスセルの述語セルポインタ１０６に、
ステップ９０８で割り当てた述語セルのアドレスを格納
する。次にステップ９１０に進む。

【０１０２】また、ステップ９０６では、入力されたプ
ログラム節のヘッド部を格納する述語セルを割り当てる
。ステップ９０５で検出したインデクスセルの述語セル
ポインタが指す述語セルから、その述語を持つプログラ
ム節の最後尾を見つけ新しい述語セルを作成する。次に
ステップ９１０に進む。

【０１０３】ステップ９１０では、入力されたプログラ
ム節がルール節であるかを判定し、もしそうであればス
テップ９１２に進み、そうでなければ、ステップ９１１
に進む。

【０１０４】ステップ９１２では、ステップ９０６ある
いはステップ９０８で割り当てられた述語セルのヘッド
部節フィールド１０９に入力されたルール節のヘッド部
を格納する。次にステップ９１３に進む。

【０１０５】ステップ９１３では、入力されたルール節
のボディ部の節を格納するボディ部述語セルを割り当て
る。ボディ部の節の数だけ新たなボディ部述語セルを作
成し、それらをボディ部次節ポインタで連結しリストと
する。そのリストの先頭セルのアドレスをステップ９０
６あるいはステップ９０８で割り当てられた述語セルの
ボディ部ポインタに格納する。ステップ９１４に進む。

【０１０６】ステップ９１４では、ステップ９１３で割
り当てたボディ部述語セルのボディ部節フィールド１１
３に、入力されたルール節のボディ部の各節を一つずつ
順に格納する。このとき、各ボディ部述語セルのマスク
述語セルポインタはＮＵＬＬにする。次にステップ９０
２に戻る。

【０１０７】また、ステップ９１１では、入力されたプ
ログラム節が連体修飾節であるかを判定し、もしそうで
なければステップ９１５に進み、そうであれば、ステッ
プ９１６に進む。

【０１０８】ステップ９１５では、ステップ９０６ある
いはステップ９０８で割り当てられた述語セルのヘッド
部節フィールド１０９に入力されたファクト節を格納す
る。マスク述語セルポインタ１１０およびボディ部ポイ
ンタ１１１はＮＵＬＬにする。次に、ステップ９０２に
戻る。

【０１０９】ステップ９１６では、入力された連体修飾
節の格納処理を行い、ステップ９０２に戻る。

【０１１０】次に、この連体修飾節格納処理について図
１０のフローチャートにより説明する。

【０１１１】まず始めにステップ１００１で変数名テー
ブルの作成を行う。入力された連体修飾節を走査し、変
数の出現の度に変数名テーブルを参照する。そして、そ
の変数名が既に変数名テーブル中にない場合に限り、変
数名カウンタの値を１増やし、その変数に変数名カウン
タの新しい値を変数識別番号として与え、変数名テーブ
ルに登録する。入力された連体修飾節を走査が終るとス
テップ１００２に進む。

【０１１２】ステップ１００２では、ステップ９０６あ
るいはステップ９０８で割り当てられた述語セルのヘッ
ド部節フィールド１０９に入力された連体修飾節のヘッ
ド部を格納する。次のステップ１００３では、前記のス
テップ９０５からステップ９０９と同一の処理により、
述語セルの割り当てを行う。次のステップ１００４では
ステップ１００３で割り当てた述語セルに、入力された
連体修飾節のヘッド部の変数を定数化した具象化ファク
ト節を格納する。この具象化ファクト節格納処理につい
ては後述する。次にステップ１００５に進む。

【０１１３】ステップ１００５では、ボディ部述語セル
の割り当てを行う。使用中のボディ部述語セルの最後尾
に新たなをボディ部述語セル作成する。次のステップ１
００６では、ステップ１００５で割り当てたボディ部述
語セルのアドレスをステップ９０６あるいはステップ９
０８で割り当てられた述語セルのボディ部ポインタ１１
１に格納する。ステップ１００７に進む。

【０１１４】ステップ１００７では、割り当てられたボ
ディ部述語セルのボディ部節フィールド１１３に、入力
された連体修飾節のボディ部の節を一つ格納する。次の
ステップ１００８では、ステップ１００７で格納された
ボディ部の節に対し、ステップ１００３と同一の処理に
より述語セルを割り当てる。次のステップ１００９では
、ステップ１００８で割り当てた述語セルに、ステップ
１００７で格納されたボディ部の節の変数を定数化した
具象化ファクト節を、後述の具象化ファクト節格納処理
により、格納する。ステップ１０１０に進む。

【０１１５】ステップ１０１０では、入力された連体修
飾節についてまだ格納されていないボディ部の節が残っ
ているかどうかを判定し、もし、残っていなければ、連
体修飾節格納処理を終了しステップ９０２に戻る。また
、残っていれば、ステップ１０１１に進む。

【０１１６】ステップ１０１１では、ステップ１００５
と同一の処理によりボディ部述語セルの割り当てを行う
。つぎのステップ１０１２では、ステップ１０１１で割
り当てたボディ部述語セルのアドレスを、ステップ１０
０７で割り当てたボディ部述語セルのボディ部次節ポイ
ンタ１１５に格納する。次にステップ１００７に進む。

【０１１７】ボディ部の最後の節の処理が終るとステッ
プ１０１０において連体修飾節格納処理を終了する。

【０１１８】次に、図１１のフローチャートにより、ス
テップ１００４およびステップ１００９の具象化ファク
ト節格納処理の詳細を説明する。

【０１１９】まず、ステップ１１０１で、既に割り当て
られている述語セルのヘッド部節フィールド１０９に、
具象化して格納しようとしている節の述語部分を格納す
る。次に、ステップ１１０２に進む。

【０１２０】ステップ１１０２では、引数項の１つにつ
いて、その引数項が「領域名：変数名」の形をしている
かどうかを判定する。もし、「領域名：変数名」の形で
あればステップ１１０４に進み、そうでなければステッ
プ１１０３に進む。

【０１２１】ステップ１１０３では、ステップ１００１
で述語部分を格納した述語セルのヘッド部節フィールド
１０９に、引数項を追加格納する。次に、ステップ１１
０６に進む。

【０１２２】また、ステップ１１０４では、変数名テー
ブルを参照し、引数項の変数名に付与されている変数識
別番号を求める。次のステップ１１０５では、ステップ
１００１で述語部分を格納した述語セルのヘッド部節フ
ィールド１０９に、引数項として「領域名＃変数識別番
号」という形式の定数を追加格納する。次に、ステップ
１１０６に進む。

【０１２３】ステップ１１０６では、格納されていない
引数項がまだ残っているかどうかを判定し、まだ残って
いればステップ１１０２に進み、残っていなければ具象
化ファクト節格納処理を終了する。

【０１２４】以上述べたプログラム節の格納処理方法に
より、ファクト節、ルール節および連体修飾節を図１で
示したデータ構造に格納できる。

【０１２５】図１２は、本発明の方法を実施するための
装置構成例を示す図である。１２０１は本発明の方法を
実現するプログラム手段およびプログラム節を格納する
記憶装置である。１０２２はＣＰＵであり、１０２３は
プログラム節や質問ゴール節を入力する入力装置である
。１０２４は質問ゴール処理の結果である解代入を出力
するための表示装置である。

【０１２６】

【発明の効果】知識の集合ＳＳを仮定する。ＳＳにＳ１
１とＳ１２を加えた知識に対する従来の質問処理方式に
よる処理過程と、ＳＳにＳ１３を加えた知識に対する本
発明の質問処理方式による処理過程とを比較する。

【０１２７】選択式がＱ５以外のとき、従来の質問処理
方式と本発明の質問処理方式による処理過程に差異はな
い。一方、選択式がＱ５であったとき、従来の質問処理
方式では、述語Ａについての単一化処理（ユニフィケー
ション）と述語Ｂ１から述語Ｂｎについての単一化処理
で計ｎ＋１回の単一化処理で正解代入｛ｄ’：Ｙ／ｃ１
｝が求まる。本発明の質問処理方式によれば、連体修飾
節Ｓ１３の格納時には、Ｓ１３がルール節Ｓ１１とファ
クト節Ｓ１２およびＳ１４に展開されて格納される。こ
のため、選択式Ｑ５に対して、Ｓ１４を入力節とした１
回の単一化処理で同じ正解代入が得られる。また、ルー
ル節Ｓ１１が入力節として選択されるときにはファクト
節Ｓ１２がマスクされるので重複して正解代入を求める
冗長な処理も発生しない。

【０１２８】このように、本発明の質問処理方式によれ
ば正解代入を求めるための単一化処理の回数を削減でき
るため、質問処理を高速化する効果がある。

【図面の簡単な説明】

【図１】プログラム節を格納するデータ構造を表す図で
ある。

【図２】質問ゴール処理で使用するスタックのデータ構
造を表す図である。

【図３】質問ゴール処理を表すフローチャートである。

【図４】質問ゴール処理における入力節選択処理の詳細
を表すフローチャートである。

【図５】質問ゴール処理における入力節選択処理の詳細
を表すフローチャートである。

【図６】質問ゴール処理における入力節選択処理の詳細
を表すフローチャートである。

【図７】質問ゴール処理の過程におけるスタックの状態
を表す図である。

【図８】プログラム節入力時に使用する変数名テーブル
のデータ構造を表す図である。

【図９】入力プログラム節の展開処理を表すフローチャ
ートである。

【図１０】入力プログラム節の展開処理における連体修
飾節格納処理の詳細を表すフローチャートである。

【図１１】連体修飾節格納処理における具象化ファクト
節格納処理の詳細を表すフローチャートである。

【図１２】本発明の方法を実施するための装置構成例を
表す図である。

【符号の説明】

１０１…インデクスセル格納エリア、１０２…述語セル
格納エリア、１０３…ボディ部述語セル格納エリア、１
０４…インデクスセル、１０５…述語名フィールド、１
０６…述語セルポインタ、１０７…ポインタ述語セル、
１０８…マスクフラグ、１０９…ヘッド部節フィールド
、１１０…マスク述語セルポインタ、１１１…ボディ部
ポインタ、１１２…ボディ部述語セル、１１３…ボディ
部節フィールド、１１４…マスク述語セルポインタ、１
１５…ボディ部次節ポインタ。

Claims (2)

【特許請求の範囲】
1. 【請求項１】ルール節およびファクト節を有するプログ
   ラム節を処理対象とする継承階層論理型言語処理系にお
   いて、前記ルール節のボディ部の基本式を満足する基礎
   代入が知られている前記ルール節に対して、該ルール節
   のヘッド部およびボディ部の各基本式にその基礎代入を
   行った前記ファクト節とその参照可否情報とをメモリに
   格納し、ゴール節の処理中、入力節として選択されたル
   ール節の処理開始時に当該ルール節のヘッド部およびボ
   ディ部の各基本式の基礎代入例であるファクト節の参照
   可否情報を参照不可に設定し、当該ルール節の処理終了
   時に、前記参照可否情報を参照可に再設定し、該参照可
   否情報が参照不可と設定されているファクト節は入力節
   として選択しないことを特徴とする継承階層論理型言語
   の処理方法。
2. 【請求項２】前記ルール節のヘッド部およびボディ部の
   各基本式に基礎代入を行った前記プログラム節を前記フ
   ァクト節として格納する際に、前記ルール節のヘッド部
   およびボディ部のデータエリア内にその基礎代入例であ
   る前記ファクト節へのポインタを保持し、前記ゴール節
   の処理中、前記入力節として選択された前記ルール節の
   処理開始時にそのポインタによって指される前記ファク
   ト節の参照可否情報を参照不可に設定し、当該ゴール節
   に対する当該ルール節の処理終了時にそのポインタによ
   って指されるファクト節の参照可否情報を参照可に設定
   することを特徴とする請求項１記載の継承階層論理型言
   語の処理方法。