Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Review of the Concurrent Prolog	.... 3
2.1	Syntax of Concurrent Prolog	.... 3
2.2	Reduction	.... 4
2.3	Failure	.... 5
3	The Computation Model	.... 5
4	Interprocess Communication	.... 8
5	Incomplete Message	.... 13
6	New Features of Concurrent Prolog	.... 14
7	Conclusion	.... 15
8	Acknowledgement	.... 15
9	References	.... 16

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