Contents of Report

[Data of Report]

Report Number:: TR0435
Date of Registration:: 1988.11
English Title:: Knowledge Base System toward Logic Programming and Parallel Processing Paradigms
Japanese Title:: ***
English Author:: H.Itoh,H.Monoi,H.Seki
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0435.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Knowledge Base System on a sequential inference machine	.... 5
2.1	Overview of the system	.... 5
2.2	Multipule-Multipule name space	.... 7
3	Distributed knowledge base system	.... 8
3.1	Overview of the system	.... 8
3.2	Distributed and recursive quency processing	.... 9
3.3	Handling nagations	.... 10
4	Parallel knowledge base system	.... 10
4.1	Unification based query language	.... 11
4.2	Hardware configuration	.... 12
4.3	Parallel processing timing diagram	.... 12
5	Interface systems between GHC and the parallel Knowledge base system	.... 13
6	Storage technologies for logical structure data	.... 14
7	Conclusion	.... 15
	Acknowledgement	.... 16
	References	.... 17
	End	.... 30

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