Contents of Report

[Data of Report]

Report Number:: TR0065
Date of Registration:: 1984.04
English Title:: Efficient Stream/Array Processing in Logic Programming Language
Japanese Title:: ***
English Author:: K.Ueda,T.Chikayama
Japanese:: ***
Name of Organization to which author belongs:: NEC,ICOT
PDF:: tr0065.pdf

	Abstract	.... 2
1	Introduction	.... 2
1.1	The Importance of Streams in Concurrent Prolog	.... 3
1.2	The Necessary of Dynamic, Multiway Stream Merging and Distribution	.... 3
1.3	Previous Research	.... 4
2	Objectives	.... 4
2.1	Outline of Sequential Implementation of Cocurrent Prolog	.... 5
3	Implementation of Merge-Processes	.... 7
3.1	Examination of an n-ary Merge Predicate	.... 7
3.2	Implementation Technique for Merge of a Fixed number of Inputs	.... 9
3.3	The Properties of the Merge Predicate for a Fixed number of Inputs	.... 14
3.4	Dynamic Change of the Number of Inputs Streams	.... 15
4	Guidelines for the Implementation of Distribution Processes	.... 18
4.1	Distribution to a Fixed Number of output Streams	.... 18
4.2	Dynamic Change of the Number of Output Streams	.... 19
5	Applying Implementation Technique of Distribution Processes to Mutable	.... 19
6	Conclusion and Future Works	.... 20
	Acknowledgements	.... 21
	References	.... 21

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