Contents of Report

[Data of Report]

Report Number:: TR0114
Date of Registration:: 1985.07
English Title:: The Dataflow-based Parallel Inference Machine To Support Two Basic Languages in KL1
Japanese Title:: ***
English Author:: M.Kishi,E.Kuno,K.Rokusawa,N.Ito
Japanese:: ***
Name of Organization to which author belongs:: Oki,Oki,Oki,ICOT
PDF:: tr0114.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Parallel Prolog	.... 3
2.1	OR-parallel Prolog	.... 3
2.2	AND-parallel Prolog	.... 4
2.3	Invisible and Visible Streams	.... 4
3	Implementation of Parallel Prolog	.... 5
3.1	Implementation of OR-parallel Prolog	.... 5
3.2	Implementation of GHC	.... 10
4	Machine Architecture	.... 15
5	Performance Considerations	.... 17
5.1	Simulation Results	.... 17
6	Conclusion	.... 20
	Acknowledgement	.... 21
	References	.... 21
	End	.... 22

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