Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Using Partially Specified Terms	.... 5
3	Record as Function	.... 7
4	Syntax	.... 9
5	Operational Semantics	.... 10
5.1	Program Clause	.... 10
5.2	State and Computation	.... 11
6	Built-in Constraints	.... 13
6.1	Unification and Complexity	.... 13
6.2	Freeze	.... 14
6.3	Boolearn Constraint	.... 15
6.4	Arithemetic	.... 15
6.5	Term Constraint	.... 15
6.6	One Way Unification and Sequential Control	.... 16
7	Linguistic Analysis	.... 17
7.1	Feature Co-occurrence Restriction	.... 17
7.2	Record for Partial Assignment	.... 18
7.3	Complex Inderterminate	.... 18
7.4	Multiple Inheritance with Records	.... 19
7.5	Attitudes in PSTs	.... 19
7.6	DAG and Record	.... 20
8	Concluding Remarks	.... 21
	Acknowledgements	.... 21
	References	.... 22
A	Tiny Discourse Analysis in CIL	.... 24
B	Built-in Predicates	.... 26
	End	.... 30

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