Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Overview of KL1	.... 2
2.1	Language Features of KL1	.... 2
2.2	Exection Mechanism of KL1	.... 3
2.3	Sequential Implementation of KL1	.... 3
3	Abstract KL1 Machine	.... 4
3.1	Data Representation	.... 4
3.2	Structures	.... 4
3.3	Registers	.... 5
4	Abstract Instruction Set	.... 5
4.1	Passive Unification Instructions	.... 6
4.2	Built-in Predicates	.... 6
4.3	Active Unification Instructions	.... 7
4.4	Goal Manipulation Instructions	.... 7
4.5	Argument Preparation Instructions	.... 7
4.6	Suspension Instruction	.... 8
4.7	Optimization	.... 8
5	Related Work	.... 10
6	Comparison with WAM	.... 10
7	Conclusion and Future Research	.... 11
	Acknowledgements	.... 11
	References	.... 11

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