Contents of Report

[Data of Report]

Report Number:: TR0099
Date of Registration:: 1984.12
English Title:: Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog
Japanese Title:: ***
English Author:: N.Ito,H.Shimizu,M.Kishi,E.Kuno,K.Rokusawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,Oki,Oki,Oki
PDF:: tr0099.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Parallel Prolog and Concurrent Prolog	.... 4
3	Abstract Machine Architecture	.... 7
4	Variables and Their Representation	.... 10
5	Primitives for Parallel Prolog	.... 14
5.1	Basic Unification Primitive Operators	.... 14
5.2	Some Examples of Head Unification	.... 19
5.3	Nondeterministic Merge Primitives	.... 23
5.4	Execution of and Literals	.... 26
6	Primitives for Concurrent Prolog	.... 31
6.1	Raed-only Annotation	.... 31
6.2	Guard operation mechanism	.... 32
7	Conclusion	.... 33
	Acknowledgement	.... 34
	Reference	.... 34
	End	.... 36

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