JPS63156240A

JPS63156240A - Ｐｒｏｌｏｇにおける構造体処理制御方式

Info

Publication number: JPS63156240A
Application number: JP61302804A
Authority: JP
Inventors: Saori Oikawa; 及川　さおり; Ikuko Ueda; 植田　郁子; Kyoko Tsuchiya; 恭子土屋; Miyuki Ono; 美由紀小野
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1986-12-20
Filing date: 1986-12-20
Publication date: 1988-06-29

Abstract

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

Description

【発明の詳細な説明】〔概　　要〕ＰＲＯＬＯＧにおける複数の同一構造体の処理にはそれ
ぞれの構造体に対して前処理を行うために時間を必要と
する。本発明はＰＲＯＬＯＧの複数の同一構造体を一括
処理するものであり、本発明によって前処理の重複が省
け、実行効率を上げることができる。

〔産業上の利用分野〕

本発明はプログラム言語の実行態様に係り、特にＰＲＯ
ＬＯＧの構造体の処理に関する。

〔従　来　技　術〕

コンピュータ技術の発展とともに、各種の処理言語が開
発された。例えば、ＦＯＲＴＲＡＮやＣ０ＢＯＬ等があ
る。これらの言語は計算処理や各種の事務処理等を行う
ものとしては有効である。一方、現在では、前述のよう
な処理の他に知識情報を扱う言語即ち知識情報処理言語
が開発され実用化されている。例えば、ＰＲＯＬＯＧも
その言語である。ＰＲＯＬＯＧは、その処理構造から多
くの人工知能分野で用いられている。

ＰＲＯＬＯＧの基本的な構造体は間数子と引数から成り
、例えばプログラムは規則と事実、規則はヘッドとゴー
ル列から成り立っている。

第５図は従来のＰＲＯＬＯＧの実行メカニズムを説明す
る図である。実行を開始すると、まず構造体選択回路Ｓ
１によって前述のゴール列の先頭から構造体を抽出する
。そして抽出した構造体の関数子と引数のチェックや解
析を前処理部Ｓ２で行い、続いてＰＲＯＬＯＧインタプ
リタを実行Ｓ３させる。

１個の構造体に対するＰＲＯＬＯＧインタプリタが処理
を終了すると、次には、ゴール列終了判定部Ｓ４におい
て、ゴール列が終了したか否かを判別する。構造体選択
回路はゴール列の先頭から１個つづ順次構造体を抽出し
て実行させるため、ゴール列終了判定部Ｓ４はゴール列
が終了でない時には構造体選択回路Ｓ１を動作させる。

この動作によって、ゴール列の次の構造体が選択され、
順次前述した動作が、ゴール列が終了するまで繰り返さ
れる。

〔発明が解決しようとする問題点〕

前述した従来の方式においては、構造体の構造に関係せ
ず必ず前処理部が動作して前処理を行っている。例えば
、同一構造の構造体が複数個存在する場合においても、
個々の構造体に対して繰り返し前処理を行っている。こ
のため、処理の効率が低下するという問題を有していた
。

本発明は上記従来の欠点に鑑み、構造体が同一の場合に
は処理を効率よく行うＰＲＯＬＯＧにおける構造体処理
制御方式を提供することを目的とする。

Ｃ問題点を解決するための手段〕第１図は本発明の機能ブロック図である。１は入力ゴー
ル列、２は前記入力ゴール列の同一構造体を指示する修
飾語を検出し、前記修飾語を含む構造体を選択する選択
手段、３は前記選択手段によって選択された前記修飾語
を含む構造体の要素を抽出する要素抽出手段、４は前記
要素抽出手段３によって抽出された要素を用いた構造体
を作成する構造体作成手段、５はＰＲＯＬＯＧの実行、
６は前記ＰＲＯＬＯＧの実行５における１個のゴール列
の構造体における実行が終了したか否か判別する終了判
別手段である。

〔作　　　用〕

選択手段２は入力ゴール列１の中の複数の同一構造体を
指示する修飾語を検出し、前記修飾語を含む構造体を選
択する。この結果によって、前記要素抽出手段３はこの
選択された構造体の中から、要素を抽出する。、構造体
作成手段４は前記要素抽出手段３によって抽出された要
素を用いた構造体を作成する。この作成した構造体の全
てに対してＰＲＯＬＯＧインクブリタを実行５さセる。

終了判別手段６においては全ての入力に対してＰＲＯＬ
ＯＧの実行がなされたかを判別し、終了していない時に
は再度前述した動作を繰り返させる。

入力したゴール列１に修飾語が存在する場合には、要素
抽出手段３、構造体作成手段４を介して得られた構造体
をＰＲＯＬＯＧの実行で処理するので、修飾語によって
指示された複数の同一構造体に対する前処理は最初の１
回行うだけでよい。

〔実　　施　　例〕

以下、図面を用いて本発明の詳細な説明する。

第２図は本発明の実施例の実行メカニズムを説明する図
である。前処理Ｓ５は前述した第４図の従来技術の前処
理と同様であり、構造体の個数と引数のチェック等を行
う。従来の方式においては、同一構造体を指示する修飾
語例えばＥＶＥＲＹ等の語はないが、本発明の実施例に
おいては、このようなＥＶＥＲＹなる語を有している。

このＥＶＥＲＹなる語が存在するか否かによって次の本
発明の実施例では実行が異なっている。ＥＶＥＲＹなる
語が存在しない場合にはゴール列が終了したか否かを判
定Ｓ６し、終了していない時にはＰＲＯＬＯＧインタプ
リタＳ７を実行して、再度前処理Ｓ５を行う。尚、第２
図は実行メカニズムを表しているため、構造体選択等の
処理は略しである。また、ゴール列の終了判定Ｓ６もイ
ンタプリタＳ７の前にあるが、これはインタプリタの後
でも可能である。

一方、ＥＶＥＲＹなる語が存在する場合には、ＥＶＥＲ
Ｙを含む構造体保持Ｓ８即ちＥＶ！ｌ！ＲＹが存在する
状態を検出したことを記憶する。そして次にＥＶＥＲＹ
に修飾されるリストの要素抽出Ｓ９を行う。

後述するが本発明の実施例においては、ＥＶＥＲＹに対
する要素がＥＶＥＲＹを含む構造体を有するので、これ
を求めるのが前述の抽出である。この抽出Ｓ９によって
ＥＩＲＹなる構造体の要素抽出がなされたので、次には
抽出された要素を用いＰＲＯＬＯＧの構造体の作成３１
０を行う。この時ＥＶＥＲＹを含む１個の構造体からは
複数作成することが可能であるが、処理ＳＩＯにおいて
はまず１個の構造体を作成する。この作成の後、作成さ
れた構造体に対するＰＲＯＬＯＧインタプリタＳ７を実
行し、処理を行う。

前述したＥＶＥＲＹなる語を有さない場合には、ＰＲＯ
ＬＯＧインクブリタＳ７の後には前処理Ｓ５を行うが、
ＥＶＥＲＹなる語を有する場合には、次にはリストの終
了判定Ｓｉｔを行う。

ＥＶＥＲＹなる語を有する構造体から要素を抽出し、抽
出した要素からまず１個の構造体を前述の処理Ｓ１０で
は作成しているので、終了ではなく再度ＥＶＥＲＹを含
む構造体保持処理Ｓ８から実行する。

前述した処理は順次繰り返され、ＥＶＥＲＹなる語を有
する構造体が保有する複数の構造体に対し全て処理する
までなされる。そして１個のリスト即ちＥＶＥＲＹを有
する構造体に対応する個数の実行を行った後には再度次
の構造体に対する前処理Ｓ５を行う。

構造体は一般的には複数有するので、前処理は構造体の
数だけなされる。従来においては、複数個の同一構造体
の数もそれぞれに対し前処理を行うが、本発明の実施例
においては、１個の前処理で複数個の等価的な構造体を
処理することができる。

第３図は本発明の実施例のフローチャートである。

ＰＲＯＬＯＧの全体の実行を開始すると、まずゴール列
から構造体の１つを抽出する処理を行うＳＴＩ。

即ち、例えば記憶している構造体の１個を読出す。

そして抽出した構造体が修飾語ＥＶＩＩ！ＲＹを含むか
否かの制御ＳＴ２を行う。この判別ＳＴ２においてＥＶ
ＥＲＹを含まないと判別した時（Ｎｏ）には、ＰＲＯＬ
ＯＧインタプリタに読出した構造体を渡し実行するＳＴ
３゜一方、ＨＶＩ！ＲＹを含む場合（ＹＥＳ）には、ＥＶＥ
ＲＹに修飾されるリストの要素を抽出する（ＳＴ４）。

そして、抽出した要素を用いＰＲＯＬＯＧの構造体を作
成する（ＳＴ５）。ここの処理ＳＴ５で作成した構造体
は従来の同一構造体の中の１個であるので、次にはＰＲ
ＯＬＯＧインタプリタに構造体を渡し実行する（ＳＴ３
）。この処理によって１個の構造体に対して実行された
が、この１個の構造体はあくまでＥＶＥＲＹなる修飾語
で修飾された内の構造体の１個であるので、次にはこの
ＥＶＥＲＹなる修飾語で修飾された構造体に対して全て
実行したかの判別を行う。即ち、ＥＶＥＲＹに修飾され
たリストが空であるかの判別を行う。この判別ＳＴ６に
よってリストが空でないと判別した時（ＮＯ）には再度
処理ＳＴ４より行う。そして、それらの処理が順次繰り
返され、判別ＳＴ６でリストが空であると判別した時（
ＹＥＳ）にはＥＶＥＲＹを含む１個の構造体の処理が終
了したこととなる。この時と、さらに前述した処理ＳＴ
３の後は次の構造体が存在するか、即ちゴール列が終了
したか否かの判別ＳＴ７を行う。この判別ＳＴ７におい
て、ゴール列の終了でないと判別した時には再度処理Ｓ
Ｔ１から繰り返す。終了した時（ＹＥＳ）には、ゴール
列の構造体に対する処理を行ったので、全処理を終了す
る（ＥＮＤ）。

前述した第３図の本発明の実施例のフローチャートを対
応させて、第４図の本発明に対するプログラムを用いて
さらに詳細に説明する。■〜■はＰＲＯＬＯＧプログラ
ムであり、■はルールであり、ｒＦａｔｈｅｒ　（変数
）は３人の父で、Ｍｏｔｈｅｒ　（変数）は３人の母で
ある（つまり父親、母親が同じ）なら３人は兄弟である
」を表している。■〜■は事実である。

まず処理ＳＴＩにおいて、ゴール列から１個の構造体即
ち父（Ｆａｔｈｅｒ　ｅｖｅｒｙ　（一部、二部、三部
〕）を抽出する。この構造体にはＥＶＥＲＹを有するの
で、判別処理ＳＴ２でＹＥＳとなり、次の処理ＳＴ４で
ＥＶＥＲＹに修飾されるリストの要素が抽出、即ち一部
が抽出される。そして、処理ＳＴ５で父（Ｆａｔｈｅｒ
、一部）なる構造体が作成される。

本発明の実施例においては、ＰＲＯＬＯＧの実行ＳＴ３
が■と父（Ｆａｔｈｅｒ、一部）をマツチするものであ
るならば、Ｆａ　ｔｈｅｒが太部となる。（ここでマツ
チとは関数子名と引数の数が一致するものを見つけ、同
じ位置の引数どうしか定数の時は、形が同じかを調べる
。どちらかが変数の場合は定数が作成される。尚、関数
子名は（）の左側にある名前ここては父を表し、引数は
（）内の要素を表す、）処理ＳＴ３の次には、判別ＳＴ
６によってＮｏ　（この時には１個目の父（Ｆａｔｈｅ
ｒ、一部）の構造体のみを実行しているので、残りが存
在する。）となり、次に処理ＳＴ４で二部なる要素さら
には処理ＳＴ５と父（太部、二部）なる構造体が作成さ
れる。そして、実行ＳＴ３する。尚、前述した１回目の
実行ＳＴ３でマツチされている条件はチェックされてい
るので、この処理は意味のないものとなる。

次には判別ＳＴ６ではＮｏ　（要素の三部が残っている
）となり、処理ＳＴ４で三部が抽出され、処理ＳＴ５で
父（太部、三部）なる構造体が作成される。更にＰＲＯ
ＬＯＧインタプリタの実行（この時には要素（二部）の
場合と同様）し、次の判別ＳＴ６でＹＥＳとなる。

前述の動作で父に対する実行が終了しているので、判別
ＳＴ６はＹＥＳとなるが、次の判別ＳＴ７では母が残っ
ているのでＮＯとなり、処理ＳＴｌから繰り返される。

母の場合も同様に前述した動作が繰り返され、処理ＳＴ
５で母（花子、三部）の構造体が実行され終了した時に
は判別ＳＴ６、ＳＴ７が共にＹＥＳとなり処理を終了す
る。

前述したプログラム■のゴール列父（Ｐａ　ｔｈｅｒ、
ｅｖｅｒｙ　　（一部、二部、三部〕、母（Ｍｏｔｈｅ
ｒ、、　ｅｖｅｒｙ〔一部、二部、三部〕）は従来のゴ
ール列で表すと父ＣＦａｔｈｅｒｓ一部）、父（Ｆａｔ
ｈｅｒ、二部）、父（Ｆａｔｈｅｒ、三部）、母（Ｍｏ
ｔｈｅｒ、一部）１、母（Ｍｏｔｈｅｒ、二部）、母（
Ｍｏｔｈｅｒ、、三部）となる。

ＰＲＯＬＯＧの実行においては従来の場合も本発明の実
施例の場合も同一であり、更に、各ゴール列の前に必ず
前処理を行っている。しかしながら、従来はＥＶＥＲＹ
なる修飾語を用いていないため、６個の構造体に対しそ
れぞれ前処理を行わなくてはならない。しかしながら本
発明の実施例においては２個のＥＶＥＲＹを含む構造体
に対してのみ前処理を行っているので、前処理の回数は
少なくて全処理の効率が向上する。

以上、本発明の実施例を用いて詳細に説明したが、本発
明の実施例における修飾語ＥＶＥＲＹはこれに限らず他
の語でも可能である。更に、例えばＥＶＥＲＹを有する
構造体が意味する複数の構造体のうちの１個を作成する
ならびにＰＲＯＬＯＧインタプリタを実行させているが
、これに限らすＥＶＥＲＹを有する構造体が意味する複
数の構造体を全て作成した後、その数に対応する個数分
ＰＲＯＬＯＧインタプリタを順次実行させることも同様
に可能である。

〔発明の効果〕

以上のべたように本発明はＰＲＯＬＯＧ実行メカニズム
において、複数の同一構造体を一括して処理を行うもの
であり、即ち、修飾語を有する構造体１個に対して前処
理を１回行い、修飾語で意味する複数の構造体に対して
は個々には前処理を行わないものであり、本発明によれ
ば構造体が同一の場合には処理を効率よく行うＰＲＯＬ
ＯＧにおける構造体処理制御方式を得ることができる。

【図面の簡単な説明】

第１図は本発明の機能ブロック図、第２図は本発明の実施例の実行メカニズムを説明する図
、第３図は本発明の実施例のフローチャート、第４図は本
発明の実施例のプログラム、第５図は従来の実行メカニ
ズムを説明する図である。１・・・入力、２・・・選択手段、３・・・要素抽出手段、４・・・構造体作成手段、５・・・実行、６・・・終了判別手段。特許出願人　　　　富士通株式会社本樽馴の機叱ブ唄、７グ図第１図木材」への＊加１ケ１の大イテメカニスムとＪε４Ｔろ
図第２図本発明の大島！、＃弓の７０−子ヤード第３図 ■　兄弟（一部、二部、三部）ニー父（Ｆａｔｈｅｒ、ｅｖｅｒｙ　（一部、二部、三部〕
）。母（Ｍｏｔｈｅｒ、ｅｖｅｒｙ　（一部、二部、三部）
）。 ■　父（太部、一部）。 ■　父（太部、二部）。 ■　父（太部、三部）。 ■　母（花子、一部）。 ■　母（花子、二部）。 ■　母（花子、三部）。本発明の実施例のプログラム第４図咲来の実行メハニス゛ムＥ訳、唱↑う図第°５図

Claims

【特許請求の範囲】１）入力ゴール列（１）の複数の同一構造体を指示する
修飾語を検出し、前記修飾語を含む構造体を選択する選
択手段（２）と、該選択手段（２）によって選択された
前記修飾語を含む構造体の要素を抽出する要素抽出手段
（３）と、該要素抽出手段（３）によって抽出された要
素を用いた構造体を作成する構造体作成手段（４）と、
該構造体作成手段（４）によって作成された構造体に対
する処理を行うＰＲＯＬＯＧインタプリタ（５）とから
なり、前記修飾語によって指示される構造体に対する処理を全
て終了したかを判別し、終了していない時に再度前記要
素抽出手段（３）を実行させる終了判別手段（６）より
成ることを特徴としたＰＲＯＬＯＧにおける構造体処理
制御方式。２）入力ゴール列の複数の同一構造体を指示する修飾語
を検出し、前記修飾語を含む構造体を選択する選択手段
と、該選択手段によって選択された前記修飾語を含む構造体
の要素を抽出するとともに該要素を用いた構造体の全て
を作成する構造体作成手段と、該構造体作成手段によっ
て作成された構造体に対する処理を全てに対して連続的
に行うＰＲＯＬＯＧインタプリタとを有することを特徴
としたＰＲＯＬＯＧにおける構造体処理制御方式。