Contents of Report

[Data of Report]

Report Number:: TR0279
Date of Registration:: 1987.06
English Title:: Analyzing Success Patterns of Logic Programs by Abstract Hybrid Iuterpretation
Japanese Title:: ***
English Author:: T.Kanamori,T.Kawamura
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0279.pdf

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Standard Hybrid Interpretation of Logic Programs	.... 4
2.1	Basic Hybrid Interpretation of Logic Programs	.... 4
2.2	Modified Hybrid Interpretation of Logic Programs	.... 9
3	Analysis of Success Patterns	.... 13
4	Depth-abstract Pattern Enumeration by Abstract Hybrid Interpretation	.... 14
4.1	Depth-abstract Pattern Enumeration	.... 14
4.2	Abstract Hybrid Interpretation for Depth-Abstract Pattern Enumerration	.... 15
4.3	Correctness of the Depth-abstracted Pattern Enumeration	.... 17
5	Type Inference by Abstract Hybrid Interpretation	.... 22
5.1	Type Inference	.... 22
5.2	Abstract Hybrid Interpretation for Type Inference	.... 24
5.3	Correctness of the Type Inference	.... 29
6	Mode Analysis by Abstract Hybrid Interpretation	.... 31
6.1	Mode Analysis	.... 31
6.2	Abstract Hybrid Interpretation for mode Analysis	.... 33
6.3	Correctness of the Mode Analysis	.... 39
7	A General Framework for Analysis of Success Patterns	.... 40
7.1	Finite Approximation of Atom Sets	.... 40
7.2	Abstract Hybrid Interpretation for Analysis of Success Patterns	.... 41
7.3	Correctness of the Analysis of Success Patterns	.... 43
8	Discussion	.... 44
9	Conclusion	.... 45
	Acknowledgements	.... 45
	References	.... 46

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