Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Partially Tagged Trees	.... 5
2.1	Partially Specified Terms	.... 8
3	Theory of Partial Equations	.... 8
3.1	Axioms of Partial Equations ε:	.... 8
3.2	Solving Partial Equations	.... 9
3.3	Satisfiability	.... 10
4	Program over Record Algebra	.... 12
5	Extended Definite Clause Grammar	.... 15
5.1	Extended PTTs	.... 15
5.2	Extended Term	.... 15
5.3	Extended DCG	.... 15
	Acknowledgements	.... 16
	References	.... 16
	End	.... 17

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