Contents of Report

[Data of Report]

Report Number:: TR0291
Date of Registration:: 1987.08
English Title:: ***
Japanese Title:: 並列論理型核言語に基づく知識ベースマシン
English Author:: H.Itoh
Japanese:: 伊藤　英則
Name of Organization to which author belongs:: ICOT
PDF:: tr0291.pdf

[Contents]

	あらまし	.... 2
1	はじめに	.... 2
2	知識ベースモデルと単一化検索	.... 3
2.1	関係型項ベースモデル	.... 3
2.2	単一化検索	.... 4
2.3	項の順序付け，索引付け	.... 5
3	並列論理型核言語の処理系と単一化検索の結合	.... 6
3.1	GHC(Guarded Horn Clauses)	.... 6
3.2	GHCの処理系と単一化検索の結合	.... 7
4	RBU専用装置の構成	.... 8
5	RBU専用装置のGHCによる並列制御	.... 8
6	知識ベースマシンモデル	.... 9
7	おわりに	.... 10
	謝辞	.... 11
	参考文献	.... 12
	End	.... 25

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports