Contents of Report

[Data of Report]

	Abstract	.... 3
	Acknowledgements	.... 5
	Contents	.... 7
1	Introduction	.... 10
2	Preliminaries	.... 14
3	Constraints Logic Programming over Hypersets	.... 18
3.1	Introduction	.... 18
3.2	Preliminaries	.... 22
3.3	Unification over Hypersets	.... 23
3.4	Coinductive Semantic of Horn Clauses	.... 38
3.5	Applications to Terms and Records	.... 48
3.6	Bosomulations on Generalized Terms	.... 51
3.7	Compactness of the Complex Number Field	.... 67
3.8	Concluding Remarks	.... 69
4	Constraints Logic Programming over Record Algebras	.... 72
4.1	Introduction	.... 72
4.2	The Record Algebra and Unification	.... 76
4.3	Unification Grammar over Records	.... 93
4.4	Concluding Remarks	.... 102
5	CIL;Constraints Logic Programming System	.... 104
5.1	The Outline of CIL	.... 104
5.2	CIL System	.... 106
5.3	Operational Semantic of CIL	.... 108
5.4	Basic COnstraints	.... 109
5.5	Built-in Predicates	.... 113
5.6	LInguistic Analysis in CIL	.... 117
6	Summary and Conclusion	.... 128
7	Bibliogaraphy	.... 130
	End	.... 135

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