Contents of Report

[Data of Report]

Report Number:: TR0090
Date of Registration:: 1984.11
English Title:: A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme
Japanese Title:: ***
English Author:: T.Miyazaki,A.Takeuchi,T.Chikayama
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0090.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Computation model of Cocurrent Plorog	.... 4
3	Key issues of implementation of Cocurrent Prolog	.... 6
4	Realization of Multiple environments by the shallow binding scheme	.... 8
4.1	Shallow binding and environment switch	.... 8
4.2	Value access contorol	.... 11
4.3	Deferencing Algorithm	.... 13
4.4	Commitment	.... 15
5	Discussion	.... 16
5.1	Advantage of the shallow binding scheme	.... 18
5.2	Disadvantages of the shallow binding scheme	.... 19
6	Conclusion	.... 19
7	Acknowledgements	.... 20
8	References	.... 20
	End	.... 21

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