Contents of Report

[Data of Report]

Report Number:: TR0095
Date of Registration:: 1984.12
English Title:: Type Inference in Prolog and Its Applications
Japanese Title:: ***
English Author:: T.Kanamori,K.Horiuchi
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi Electric Corp.,Mitsubishi Electric Corp.
PDF:: tr0095.pdf

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Prelimiaries	.... 3
2.1	Definition of Data Types	.... 3
2.2	A Fundamental Theorem for Type Inference in Prolog	.... 4
2.3	Computation of Minimum Herbrand Model	.... 4
3	Type Inference in Prolog	.... 5
3.1	Interpretation by Type	.... 5
3.2	Restriction by Type	.... 6
3.3	A Transformation for Type Inference	.... 6
3.4	Computation of Type Inference	.... 8
3.5	Incremental Type Inference	.... 10
4	Applications of Type Inference	.... 12
4.1	Debugging of Prolog Programs by Type Inference	.... 12
4.2	Verification of Prolog Programs Using Type Information	.... 13
5	Discussions	.... 14
6	Conclusion	.... 14
	Acknowledgements	.... 15
	References	.... 15
	Appendix	.... 16

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