Contents of Report

[Data of Report]

Report Number:: TR0101
Date of Registration:: 1985.02
English Title:: Horn Clause Logic with Paramenterized Types for Situation Semantics Programming
Japanese Title:: ***
English Author:: K.Mukai
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0101.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Utterance and Discourse Situation	.... 4
3	Term, Predicate and Clause	.... 8
3.1	Variable and Indeterminate	.... 8
3.2	Terms	.... 8
3.3	Clauses	.... 8
3.4	Logical Connectives	.... 8
3.5	Conditional Terms.	.... 9
3.6	Logical Constants	.... 9
3.7	Freezing	.... 9
3.8	Meta Call	.... 9
3.9	Unification and Slot-filling	.... 9
3.10	Test Predicates	.... 9
3.11	Type and Instantiation	.... 9
3.12	Unilities	.... 10
3.13	Internal Primitives	.... 10
4	Type, Indeterminate and Unification	.... 11
4.1	Types and Complex Indeterminates	.... 11
4.2	Data Domain and Computation Domain	.... 12
4.3	Denotational Semantics	.... 13
4.4	Unification	.... 13
4.5	Operational Semantics	.... 14
5	Programming	.... 16
5.1	Unification and Accessing Slots	.... 16
5.2	Delayd Negation	.... 17
5.3	Instrantiation of Indeterminates	.... 17
5.4	Freezing Goals and Coroutine Programming	.... 18
5.5	Demons Watching Contexts	.... 19
6	Implementation	.... 19
6.1	Structure of Indeterminates	.... 20
6.2	Unifier	.... 20
6.3	Freezing and Unification	.... 20
7	Concluding Remarks	.... 20
	Acknowledgements	.... 21
	Reference	.... 22
	Appendix 1. Summary of Situation Semantics	.... 23
	Appendix 2. Program Examples	.... 26
	Appendix 3. Interpreter on DEC-10 Prolog	.... 32
	End	.... 41

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