Contents of Report

[Data of Report]

Report Number:: TR0678
Date of Registration:: 1991.08
English Title:: Derivation of Efficient Logic Programs by Synthesizing New Predicates
Japanese Title:: ***
English Author:: T.Kawamura
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0678.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Logic Program Transformation	.... 3
3	Transformation Method by Synthesizing New Predicates	.... 4
3.1	Atomic Closure for Unfolding	.... 4
3.2	Synthesis of New Predicates by Using unfolding Closure	.... 8
4	An Extension ;Incorporating Goal Replacement	.... 12
5	Discussion	.... 17
6	Conclusion	.... 18
	Acknowledgements	.... 18
	References	.... 18
	End	.... 21

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