Contents of Report

[Data of Report]

Report Number:: TR0020
Date of Registration:: 1983.08
English Title:: Implementing an OR-Parallel Optimizing Prolog System(POPS)in Concurrent Prolog
Japanese Title:: ***
English Author:: H.Hirakawa,R.Onai,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0020.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Basic Computation Model	.... 3
2.1	Graph Reduction Mechanism	.... 3
2.2	Pure Prolog and Its Interpretation	.... 3
2.3	System Components	.... 4
2.4	Execution Mechanism	.... 5
2.5	Computation Examples	.... 7
2.6	Derivation Cycle	.... 9
2.7	Computation Sharing	.... 10
2.8	Manipulation of Variables	.... 11
3	POPS in Concurrent Prolog	.... 12
3.1	Concurrent Prolog	.... 12
3.2	Describing a POPS Process in Concurrent Prolog	.... 13
4	Discussion	.... 15
5	Conclusion	.... 16
	Acknowledgement	.... 17
	References	.... 17
	Appendix A	.... 18
	Appendix B	.... 20
	End	.... 21

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