Contents of Report

[Data of Report]

1	Introduction	.... 2
2	Execution of Prolog	.... 3
3	Parallel Unification Model	.... 4
3.1	OR Parallelism	.... 4
3.2	AND Parallelism	.... 5
3.3	Parallelism Among Arguments	.... 6
4	Primitive Operators for Unification	.... 6
4.1	Basic Unification Primitives	.... 6
4.2	Stream Merging Primitives	.... 11
4.3	Consistency Checking Operations Among AND Literals	.... 12
5	Machine Architecture and its Performance	.... 18
6	Conclusion	.... 20
	References	.... 21

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