Contents of Report

[Data of Report]

Report Number:: TR0749
Date of Registration:: 1992.03
English Title:: Logic Program Synthesis from First Order Logic Specifications
Japanese Title:: ***
English Author:: T.Kawamura
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0749.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Unfold/Fold Transformation for Logic Program Synthesis	.... 3
2.1	Preliminaries	.... 3
2.2	Unfold/Fold Transformation	.... 4
2.3	Program Synthesis by Unfold/Fold Transformation	.... 5
3	Some Classes of First Order Formulae from Which Logic Programs Can Be Derived	.... 6
3.1	A Program Synthesis Procedure	.... 6
3.2	Classes of First Order Formulae	.... 9
3.3	Further Consideration about Syntactic Restrictions	.... 14
4	Discussion	.... 16
5	Conclusion	.... 17
	Acknowledgements	.... 17
	References	.... 17
	End	.... 18

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