Contents of Report

[Data of Report]

1	Introduction	.... 2
2	Parallel Unification Model	.... 3
2.1	OR Prallelism	.... 4
2.2	AND Parallelism	.... 5
2.3	Parallelism among Arguments	.... 10
3	Abstract Machine Architecture	.... 14
3.1	Data Type and Basic Unification Primitives	.... 15
3.2	Prolog Execution modes	.... 17
4	Control of Parallel Processes	.... 20
4.1	Sharing of Procedure Codes	.... 21
4.2	Control of the Number of Active Processes	.... 21
4.3	Termination Control of Processes	.... 23
4.4	Process Allocation Control	.... 26
5	Structured Data Control	.... 28
5.1	Sharing Control of Structured Data	.... 29
5.2	Distribution Control of Structured Data	.... 29
6	Machine Architecture	.... 31
6.1	Processing Element Module(PEM)	.... 32
6.2	Structure Memory Module(SMM)	.... 38
6.3	Network Structure	.... 43
7	Conclusion	.... 44
	References	.... 45
	End	.... 46

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