Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	The Definition of Concurrent Prolog	.... 3
2.1	Syntax	.... 3
2.2	Semantics	.... 3
2.3	Parallel Programming in Concurrent Prolog	.... 5
3	Multiple EnvironmentS and a Commitment Operation	.... 6
3.1	The First Alternative;Permission Is Revocable	.... 6
3.2	The Second Alternative;Permission Is Eternal	.... 7
3.3	Access to Local/Global Information	.... 8
4	Atomic Operation in Unification	.... 10
4.1	The Smallest Granularity Alternative	.... 11
4.2	Other Alternatives	.... 12
5	Processing Heads and Guards	.... 13
5.1	Head Unification	.... 14
5.2	Head Unification and Guard Execution	.... 14
6	Unification of Two Read-only Variables	.... 15
7	The Predicate 'Otherwise'	.... 16
8	Concluding Remarks	.... 17
	Acknowledgments	.... 18
	References	.... 18
	End	.... 19

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