Contents of Report

[Data of Report]

Report Number:: TM0164
Date of Registration:: 1986.09
English Title:: Parallel Evaluation of Prolog Programs and its Application to Meta Programming
Japanese Title:: ***
English Author:: A.Takeuchi,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0164.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Parallel Evaluation of Prolog Programs	.... 2
3	Application to Meta Progarams	.... 3
4	Partial Evaluation as a Basic Tool For Building Inference Systems	.... 4
5	Incremental Spcialization of Meta Interpreter	.... 5
6	Summary	.... 7
	Acknowledgements	.... 7
	References	.... 7

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