JPH0667887A - 情報処理装置 - Google Patents
情報処理装置Info
- Publication number
- JPH0667887A JPH0667887A JP19020192A JP19020192A JPH0667887A JP H0667887 A JPH0667887 A JP H0667887A JP 19020192 A JP19020192 A JP 19020192A JP 19020192 A JP19020192 A JP 19020192A JP H0667887 A JPH0667887 A JP H0667887A
- Authority
- JP
- Japan
- Prior art keywords
- data
- unification
- processing
- processing unit
- vector
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【目的】 大規模で複雑な構造を持つ構造体データを大
量に取扱う推論処理においても、ユニフィケーション処
理を効率よく実行できるようにする。 【構成】 推論処理部１００では述語の同一引数同志の
ユニフィケーション処理が行われる。構造体メモリ部１
１０では、リスト処理ユニット１２０が構造体データを
リスト形式として格納し、ベクタ処理ユニット１３０が
構造体データをベクタ形式として格納する。推論処理部
１００における当該引数が構造体データの場合に、ベク
タ処理ユニット１３０内の当該構造体データのベクタデ
ータに関しては並列ユニフィケーション手段１４０がユ
ニフィケーション処理を並列に行う。したがって、ベク
タデータのユニフィケーション処理と推論処理部１００
におけるユニフィケーション処理とが並行に実行でき
る。
量に取扱う推論処理においても、ユニフィケーション処
理を効率よく実行できるようにする。 【構成】 推論処理部１００では述語の同一引数同志の
ユニフィケーション処理が行われる。構造体メモリ部１
１０では、リスト処理ユニット１２０が構造体データを
リスト形式として格納し、ベクタ処理ユニット１３０が
構造体データをベクタ形式として格納する。推論処理部
１００における当該引数が構造体データの場合に、ベク
タ処理ユニット１３０内の当該構造体データのベクタデ
ータに関しては並列ユニフィケーション手段１４０がユ
ニフィケーション処理を並列に行う。したがって、ベク
タデータのユニフィケーション処理と推論処理部１００
におけるユニフィケーション処理とが並行に実行でき
る。
Description
【０００１】
【産業上の利用分野】この発明は、知識情報処理の分野
において、ユニフィケーション（同一化）や非決定的制
御等の推論の機能を言語として内蔵している論理型言語
（prolog）を処理する情報処理装置に関するものであ
る。
において、ユニフィケーション（同一化）や非決定的制
御等の推論の機能を言語として内蔵している論理型言語
（prolog）を処理する情報処理装置に関するものであ
る。
【０００２】
【従来の技術】本件で言うユニフィケーション機能と
は、論理型言語での変数に値を代入する操作に対応する
が、ここでは単純な代入ではなく変数を含む２つの構造
体データ（パターン）を、その中の変数に適当な値を与
える（結合する）ことによって同一のパターンにする機
能である。このようなユニフィケーションを処理する従
来の情報処理装置の構成を図３に示す。図３において、
３００は推論の機能を内蔵している論理型言語を機械語
として実行する推論処理部、３１０は論理型言語におけ
る述語の引数のデータタイプを含む構造体データに対す
る記憶，管理，操作の機能を有する構造体メモリ部であ
る。推論処理部３００は、論理型言語における述語デー
タ３０１，３０２、及び述語データ３０１，３０２の述
語の同一引数間同志でユニフィケーション処理を行うユ
ニフィケーション手段３０３を備えている。構造体メモ
リ部３１０は、構造体データ３１１，３１２を記憶して
いる。この例では、構造体データ３１１は述語データ３
０１中の述語ａの引数３が構造体データである場合のデ
ータを示し、構造体データ３１２は述語データ３０２中
の述語ｂの引数３が構造体データである場合のデータを
示す。
は、論理型言語での変数に値を代入する操作に対応する
が、ここでは単純な代入ではなく変数を含む２つの構造
体データ（パターン）を、その中の変数に適当な値を与
える（結合する）ことによって同一のパターンにする機
能である。このようなユニフィケーションを処理する従
来の情報処理装置の構成を図３に示す。図３において、
３００は推論の機能を内蔵している論理型言語を機械語
として実行する推論処理部、３１０は論理型言語におけ
る述語の引数のデータタイプを含む構造体データに対す
る記憶，管理，操作の機能を有する構造体メモリ部であ
る。推論処理部３００は、論理型言語における述語デー
タ３０１，３０２、及び述語データ３０１，３０２の述
語の同一引数間同志でユニフィケーション処理を行うユ
ニフィケーション手段３０３を備えている。構造体メモ
リ部３１０は、構造体データ３１１，３１２を記憶して
いる。この例では、構造体データ３１１は述語データ３
０１中の述語ａの引数３が構造体データである場合のデ
ータを示し、構造体データ３１２は述語データ３０２中
の述語ｂの引数３が構造体データである場合のデータを
示す。
【０００３】次に動作について説明する。図３に示すよ
うに従来は述語の引数が構造体データの場合、ポインタ
を持つリスト形式で推論処理部３００とは独立した構造
体メモリ部３１０に格納される。述語データ３０１中の
述語ａと述語データ３０２中の述語ｂの引数間でユニフ
ィケーション処理が実行されると、推論処理部３００に
おいて引数１同一のユニフィケーションがユニフィケー
ション手段３０３により行われ、これが成功すると次の
引数同志のユニフィケーションが順次行われて、引数ｎ
同志のユニフィケーションの成功により本ユニフィケー
ション処理が成功終了する。もし、引数同志のユニフィ
ケーションが失敗した場合には即座にその処理は中止さ
れ失敗終了となる。
うに従来は述語の引数が構造体データの場合、ポインタ
を持つリスト形式で推論処理部３００とは独立した構造
体メモリ部３１０に格納される。述語データ３０１中の
述語ａと述語データ３０２中の述語ｂの引数間でユニフ
ィケーション処理が実行されると、推論処理部３００に
おいて引数１同一のユニフィケーションがユニフィケー
ション手段３０３により行われ、これが成功すると次の
引数同志のユニフィケーションが順次行われて、引数ｎ
同志のユニフィケーションの成功により本ユニフィケー
ション処理が成功終了する。もし、引数同志のユニフィ
ケーションが失敗した場合には即座にその処理は中止さ
れ失敗終了となる。
【０００４】図３に示すように引数３が構造体データの
場合、構造体メモリ部３１０に格納されている構造体デ
ータ３１１，３１２の要素同志のユニフィケーションが
行われる。この場合、リストのポインタを１段ずつたど
ってデータを推論処理部３００に取り込みユニフィケー
ションを行うため構造体メモリ部３１０への内容の参照
が頻繁になり処理時間が多くなる。
場合、構造体メモリ部３１０に格納されている構造体デ
ータ３１１，３１２の要素同志のユニフィケーションが
行われる。この場合、リストのポインタを１段ずつたど
ってデータを推論処理部３００に取り込みユニフィケー
ションを行うため構造体メモリ部３１０への内容の参照
が頻繁になり処理時間が多くなる。
【０００５】
【発明が解決しようとする課題】従来の情報処理装置で
は、複数の引数を持つ述語のユニフィケーションを実行
する際に、構造体メモリ部に格納されている構造体デー
タが大規模で複雑な構造を持つ場合、ポインタを１段ず
つたどってデータをアクセスするので処理時間が多くか
かるという問題点があった。すなわち、構造体メモリ部
へのアクセス頻度の増大により処理性能の低下が発生す
るという問題点があった。
は、複数の引数を持つ述語のユニフィケーションを実行
する際に、構造体メモリ部に格納されている構造体デー
タが大規模で複雑な構造を持つ場合、ポインタを１段ず
つたどってデータをアクセスするので処理時間が多くか
かるという問題点があった。すなわち、構造体メモリ部
へのアクセス頻度の増大により処理性能の低下が発生す
るという問題点があった。
【０００６】この発明は上記のような問題点を解決する
ためになされたもので、大規模で複雑な構造を持つ構造
体データを大量に取扱う推論処理においても、ユニフィ
ケーション処理を効率よく実行することのできる情報処
理装置を得ることを目的とする。
ためになされたもので、大規模で複雑な構造を持つ構造
体データを大量に取扱う推論処理においても、ユニフィ
ケーション処理を効率よく実行することのできる情報処
理装置を得ることを目的とする。
【０００７】
【課題を解決するための手段】この発明に係る情報処理
装置は、推論処理部１００に述語の同一引数同志のユニ
フィケーション処理を行うユニフィケーション手段１０
３を設け、構造体メモリ部１１０に、構造体データをリ
スト形式とベクタ形式に分類されたリストデータとベク
タデータをそれぞれ格納するリスト処理ユニット１２０
とベクタ処理ユニット１３０と、推論処理部１００にお
ける当該引数が構造体データの場合にベタク処理ユニッ
ト１３０内の当該構造体データのベクタデータに関して
はユニフィケーション処理を並列に行う並列ユニフィケ
ーション手段１４０とを設けたものである。
装置は、推論処理部１００に述語の同一引数同志のユニ
フィケーション処理を行うユニフィケーション手段１０
３を設け、構造体メモリ部１１０に、構造体データをリ
スト形式とベクタ形式に分類されたリストデータとベク
タデータをそれぞれ格納するリスト処理ユニット１２０
とベクタ処理ユニット１３０と、推論処理部１００にお
ける当該引数が構造体データの場合にベタク処理ユニッ
ト１３０内の当該構造体データのベクタデータに関して
はユニフィケーション処理を並列に行う並列ユニフィケ
ーション手段１４０とを設けたものである。
【０００８】
【作用】推論処理部１００では述語の同一引数同志のユ
ニフィケーション処理が行われる。構造体メモリ部１１
０では、リスト処理ユニット１２０が構造体データをリ
スト形式として格納し、ベクタ処理ユニット１３０が構
造体データをベクタ形式として格納する。推論処理部１
００における当該引数が構造体データの場合に、ベクタ
処理ユニット１３０内の当該構造体データのベクタデー
タに関しては並列ユニフィケーション手段１４０がユニ
フィケーション処理を並列に行う。
ニフィケーション処理が行われる。構造体メモリ部１１
０では、リスト処理ユニット１２０が構造体データをリ
スト形式として格納し、ベクタ処理ユニット１３０が構
造体データをベクタ形式として格納する。推論処理部１
００における当該引数が構造体データの場合に、ベクタ
処理ユニット１３０内の当該構造体データのベクタデー
タに関しては並列ユニフィケーション手段１４０がユニ
フィケーション処理を並列に行う。
【０００９】
実施例１．（請求項１対応） 図１はこの発明の一実施例に係る情報処理装置の構成図
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論で理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論で理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
【００１０】次に動作について説明する。この情報処理
装置は、推論処理部１００が構造体メモリ部１１０に対
して制御信号を与えることよりユニフィケーション処理
を実行するようになっている。更に、構造体メモリ部１
１０は、推論処理部１００の処理と並行してベクタデー
タの並列ユニフィケーションが実行できるようになって
いる。推論処理部１００において、述語データ１０１中
の述語ａと述語データ１０２中の述語ｂとの引数間でユ
ニフィケーション処理がユニフィケーション手段１０３
によって実行されると、まず、引数１同志のユニフィケ
ーションが行われ、このユニフィケーションが成功する
と、次の引数同志のユニフィケーションが順次行われ
る。図１に示す例のように引数３が構造体データである
場合、構造体メモリ部１１０のリスト処理ユニット１２
０に格納されているリストデータ１２１，１２２同志の
ユニフィケーションが行われ、次いでベクタ処理ユニッ
ト１３０に格納されているベクタデータ１３１，１３２
の要素同志の並列ユニフィケーション処理が並列ユニフ
ィケーション手段１４０によって実行される。この時、
推論処理部１００ではベクタ処理ユニット１３０におけ
るユニフィケーションと並行して引数４以降同志のユニ
フィケーションが可能となり、次々と引数間ユニフィケ
ーションが行われ、最後の引数ｎ同志のユニフィケーシ
ョンの成功により、本ユニフィケーション処理が成功終
了する。ここで、もし引数同志のユニフィケーションが
失敗した場合には即座にその処理は中止され失敗終了と
なる。
装置は、推論処理部１００が構造体メモリ部１１０に対
して制御信号を与えることよりユニフィケーション処理
を実行するようになっている。更に、構造体メモリ部１
１０は、推論処理部１００の処理と並行してベクタデー
タの並列ユニフィケーションが実行できるようになって
いる。推論処理部１００において、述語データ１０１中
の述語ａと述語データ１０２中の述語ｂとの引数間でユ
ニフィケーション処理がユニフィケーション手段１０３
によって実行されると、まず、引数１同志のユニフィケ
ーションが行われ、このユニフィケーションが成功する
と、次の引数同志のユニフィケーションが順次行われ
る。図１に示す例のように引数３が構造体データである
場合、構造体メモリ部１１０のリスト処理ユニット１２
０に格納されているリストデータ１２１，１２２同志の
ユニフィケーションが行われ、次いでベクタ処理ユニッ
ト１３０に格納されているベクタデータ１３１，１３２
の要素同志の並列ユニフィケーション処理が並列ユニフ
ィケーション手段１４０によって実行される。この時、
推論処理部１００ではベクタ処理ユニット１３０におけ
るユニフィケーションと並行して引数４以降同志のユニ
フィケーションが可能となり、次々と引数間ユニフィケ
ーションが行われ、最後の引数ｎ同志のユニフィケーシ
ョンの成功により、本ユニフィケーション処理が成功終
了する。ここで、もし引数同志のユニフィケーションが
失敗した場合には即座にその処理は中止され失敗終了と
なる。
【００１１】図１に示す例のように引数３が構造体デー
タの場合、ベクタデータに関しては、ベクタ処理ユニッ
ト１３０で推論処理部１００と同様に専用の並列ユニフ
ィケーション手段１４０を用いて推論処理部１００の処
理と並行してユニフィケーション処理が実行されるため
ユニフィケーション処理に要する時間を短縮することが
できる。
タの場合、ベクタデータに関しては、ベクタ処理ユニッ
ト１３０で推論処理部１００と同様に専用の並列ユニフ
ィケーション手段１４０を用いて推論処理部１００の処
理と並行してユニフィケーション処理が実行されるため
ユニフィケーション処理に要する時間を短縮することが
できる。
【００１２】上記実施例１によれば、構造体メモリ部１
１０の内容を参照する引数のユニフィケーションに関し
て、従来の処理方法では処理時間が多くかかるベクタ形
式の構造体データを専用のベクタ処理ユニット１３０に
おける並列ユニフィケーション手段１４０を用いてユニ
フィケーションを実行するので、効率的なユニフィケー
ション処理が可能となる。
１０の内容を参照する引数のユニフィケーションに関し
て、従来の処理方法では処理時間が多くかかるベクタ形
式の構造体データを専用のベクタ処理ユニット１３０に
おける並列ユニフィケーション手段１４０を用いてユニ
フィケーションを実行するので、効率的なユニフィケー
ション処理が可能となる。
【００１３】実施例２．なお、上記の実施例１は推論処
理部１００が１台である通常のシングルプロセッサ等を
前提としたものであるが、図２に示すような複数個の推
論処理部２００と複数個の構造体メモリ部２１０と、そ
れらを相互に結合するネットワーク２４０，２５０，２
６０を備え、複数の推論を並列に処理するマルチプロセ
ッサタイプの並列型推論マシン等においても、上述した
と同様にして効率的なユニフィケーション処理を実行す
ることができる。
理部１００が１台である通常のシングルプロセッサ等を
前提としたものであるが、図２に示すような複数個の推
論処理部２００と複数個の構造体メモリ部２１０と、そ
れらを相互に結合するネットワーク２４０，２５０，２
６０を備え、複数の推論を並列に処理するマルチプロセ
ッサタイプの並列型推論マシン等においても、上述した
と同様にして効率的なユニフィケーション処理を実行す
ることができる。
【００１４】上記実施例２によれば、構造体メモリ部２
１０への内容の参照で多くの時間を要する構造体データ
同志のユニフィケーション処理が図示しない並列ユニフ
ィケーション手段の分散化により効率的に実行できる。
１０への内容の参照で多くの時間を要する構造体データ
同志のユニフィケーション処理が図示しない並列ユニフ
ィケーション手段の分散化により効率的に実行できる。
【００１５】
【発明の効果】以上のように本発明によれば、構造体デ
ータをリスト形式とベクタ形式に分類されたリストデー
タとベクタデータをそれぞれ格納するリスト処理ユニッ
トとベクタ処理ユニットと、推論処理部における当該引
数が構造体データの場合にベクタ処理ユニット内の当該
構造体データのベクタデータに関してはユニフィケーシ
ョン処理を並列に行う並列ユニフィケーション手段とを
構造体メモリ部に備えて構成したので、大規模で複雑な
構造を持つ構造体データを大量に取扱う推論処理におい
ても、ユニフィケーション処理を効率良く実行できると
いう効果が得られる。即ち、本発明によれば、一般に整
数や原子のような引数のユニフィケーションに比べて、
構造体メモリ部への内容の参照が頻繁に行われるため、
多くの時間を要する構造体データ同志のユニフィケーシ
ョン処理が並列ユニフィケーション手段で分散化され並
列に効率的に実行できるという効果が得られる。
ータをリスト形式とベクタ形式に分類されたリストデー
タとベクタデータをそれぞれ格納するリスト処理ユニッ
トとベクタ処理ユニットと、推論処理部における当該引
数が構造体データの場合にベクタ処理ユニット内の当該
構造体データのベクタデータに関してはユニフィケーシ
ョン処理を並列に行う並列ユニフィケーション手段とを
構造体メモリ部に備えて構成したので、大規模で複雑な
構造を持つ構造体データを大量に取扱う推論処理におい
ても、ユニフィケーション処理を効率良く実行できると
いう効果が得られる。即ち、本発明によれば、一般に整
数や原子のような引数のユニフィケーションに比べて、
構造体メモリ部への内容の参照が頻繁に行われるため、
多くの時間を要する構造体データ同志のユニフィケーシ
ョン処理が並列ユニフィケーション手段で分散化され並
列に効率的に実行できるという効果が得られる。
【図１】この発明の一実施例に係る情報処理装置の構成
ブロック図である。
ブロック図である。
【図２】この発明の他の実施例に係る情報処理装置の構
成ブロック図である。
成ブロック図である。
【図３】従来の情報処理装置の構成ブロック図である。
１００ 推論処理部 １０３ ユニフィケーション手段 １１０ 構造体メモリ部 １２０ リスト処理ユニット １３０ ベクタ処理ユニット １４０ 並列ユニフィケーション手段
─────────────────────────────────────────────────────
【手続補正書】
【提出日】平成５年９月２２日
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】０００９
【補正方法】変更
【補正内容】
【０００９】
【実施例】 実施例１．（請求項１対応） 図１はこの発明の一実施例に係る情報処理装置の構成図
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論処理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論処理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００１５
【補正方法】変更
【補正内容】
【００１５】
【発明の効果】以上のように本発明によれば、構造体デ
ータをリスト形式とベクタ形式に分類されたリストデー
タとベクタデータをそれぞれ格納するリスト処理ユニッ
トとベクタ処理ユニットと、推論処理部における当該引
数が構造体データの場合にベクタ処理ユニット内の当該
構造体データのベクタデータに関してはユニフィケーシ
ョン処理を並列に行う並列ユニフィケーション手段とを
構造体メモリ部に備えて構成したので、大規模で複雑な
構造を持つ構造体データを大量に取扱う推論処理におい
ても、ユニフィケーション処理を効率良く実行できると
いう効果が得られる。即ち、本発明によれば、一般に整
数やアトム（細分化できない基本記号）のような引数の
ユニフィケーションに比べて、構造体メモリ部への内容
の参照が頻繁に行われるため、多くの時間を要する構造
体データ同志のユニフィケーション処理が並列ユニフィ
ケーション手段で分散化され並列に効率的に実行できる
という効果が得られる。
ータをリスト形式とベクタ形式に分類されたリストデー
タとベクタデータをそれぞれ格納するリスト処理ユニッ
トとベクタ処理ユニットと、推論処理部における当該引
数が構造体データの場合にベクタ処理ユニット内の当該
構造体データのベクタデータに関してはユニフィケーシ
ョン処理を並列に行う並列ユニフィケーション手段とを
構造体メモリ部に備えて構成したので、大規模で複雑な
構造を持つ構造体データを大量に取扱う推論処理におい
ても、ユニフィケーション処理を効率良く実行できると
いう効果が得られる。即ち、本発明によれば、一般に整
数やアトム（細分化できない基本記号）のような引数の
ユニフィケーションに比べて、構造体メモリ部への内容
の参照が頻繁に行われるため、多くの時間を要する構造
体データ同志のユニフィケーション処理が並列ユニフィ
ケーション手段で分散化され並列に効率的に実行できる
という効果が得られる。
Claims (1)
- 【請求項１】 推論の機能を内蔵している論理型言語を
機械語として実行する推論処理部と、上記論理型言語に
おける述語の引数のデータタイプを含む構造体データに
対する記憶，管理，操作の機能を有する構造体メモリ部
とを結合して制御し、構造体データを同一のパターンに
するユニフィケーション処理の機能を有する情報処理装
置において、上記推論処理部に述語の同一引数同志のユ
ニフィケーション処理を行うユニフィケーション手段を
設け、上記構造体メモリ部に、構造体データをリスト形
式とベクタ形式に分類されたリストデータとベタクデー
タをそれぞれ格納するリスト処理ユニットとベクタ処理
ユニットと、上記推論処理部における当該引数が構造体
データの場合に上記ベクタ処理ユニット内の当該構造体
データのベクタデータに関してはユニフィケーション処
理を並列に行う並列ユニフィケーション手段とを設けた
ことを特徴とする情報処理装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4190201A JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4190201A JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0667887A true JPH0667887A (ja) | 1994-03-11 |
| JPH0799499B2 JPH0799499B2 (ja) | 1995-10-25 |
Family
ID=16254141
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4190201A Expired - Lifetime JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0799499B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US9982384B2 (en) | 2014-07-08 | 2018-05-29 | Lg Electronics Inc. | Drain pump and a clothes dryer having a drain pump |
-
1992
- 1992-06-25 JP JP4190201A patent/JPH0799499B2/ja not_active Expired - Lifetime
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US9982384B2 (en) | 2014-07-08 | 2018-05-29 | Lg Electronics Inc. | Drain pump and a clothes dryer having a drain pump |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0799499B2 (ja) | 1995-10-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4410940A (en) | Transfer of control method and means among hierarchical cooperating sequential processes | |
| US8028281B2 (en) | Run-Time parallelization of loops in computer programs using bit vectors | |
| KR0138468B1 (ko) | 마이크로 컴퓨터 | |
| EP0469756B1 (en) | Modular expert system and method for modularizing a set of rules used by an expert system | |
| JPH0565892B2 (ja) | ||
| JP2752094B2 (ja) | 論理型言語におけるバックトラック処理方式 | |
| JPH0667887A (ja) | 情報処理装置 | |
| Mansell et al. | Decision model and flexible component definition based on xml technology | |
| US5671431A (en) | Method for processing user program on a parallel computer system by inserting a tag during compiling | |
| JPS59114602A (ja) | プログラマブルコントロ−ラ | |
| JP3006505B2 (ja) | 並列プロセスを含むプログラムの修正装置、修正方法、および修正プログラムを記憶する記憶媒体 | |
| JPH08286951A (ja) | 情報処理装置及びトレース情報格納方法 | |
| JPH05297911A (ja) | シーケンスコントローラ用シーケンス制御回路 | |
| JPH01166223A (ja) | 情報処理方式 | |
| JPH08286950A (ja) | 情報処理装置及びトレース情報格納方法 | |
| JPS5835648A (ja) | プログラム実行制御方式 | |
| KR0170706B1 (ko) | 마이크로프로세서의 외부 메모리 사용 방법 | |
| JPS6227822A (ja) | バツクトラツク制御方式 | |
| JPH0561668A (ja) | マイクロコンピユータ | |
| JPS63316255A (ja) | 並列推論マシンにおけるデ−タ複写制御方式 | |
| JPH06266561A (ja) | プログラムの型検査方法およびシステム | |
| JPH04205422A (ja) | プログラム自動翻訳結合及び選択方法 | |
| JPH08272411A (ja) | ラダー命令処理装置 | |
| JPH04256031A (ja) | プログラミング言語における例外処理方法 | |
| JPH04188231A (ja) | オブジェクト生成方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| EXPY | Cancellation because of completion of term |