Contents of Report

[Data of Report]

Report Number:: TR0398
Date of Registration:: 1987.12
English Title:: Detecting Termination of Logic Programs Based on Abstract Hybrid Interpretation
Japanese Title:: ***
English Author:: T.Kanamori,T.Kawamura,K.Horiuchi
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi,Mitsubishi
PDF:: tr0398.pdf

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Standard Hybrid Interpretation of Logic Programs	.... 3
2.1	Basic Hybrid Interpretation of Logic Programs	.... 3
2.2	Modified Hybrid Interpretation of Logic Programs	.... 9
3	Mode Analysis by Abstract Hybrid Interpretation	.... 13
3.1	Mode Analysis	.... 13
3.2	Abstract Hybrid Interpretation for Mode Analysis	.... 14
3.3	An Example of Mode Analysis	.... 18
4	Detection of Termination Based on Abstract Hybrid Interpretation	.... 20
4.1	Termination of Prolog Programs	.... 20
4.2	Abstract Hybrid Interpretation for Termination Detection	.... 23
4.3	Example of Termination Detection	.... 25
5	Detection of Universal Termination and Existential Termination	.... 28
5.1	Universal Termination and Existential Termination	.... 28
5.2	Detection of Universal Termination	.... 29
5.3	Detection of Existential Termination	.... 30
6	Discussion	.... 31
7	Conclusion	.... 33
	Acknowledgements	.... 33
	References	.... 33
	End	.... 34

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