Contents of Report

[Data of Report]

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Preliminaries	.... 3
2.1	Definition of Data Type and Basic Functions	.... 3
2.2	Meta-Unification Using Equations	.... 5
2.3	An Example of Basic Computation	.... 8
3	Conditional Computation in Talos	.... 9
3.1	Definition of Conditional Functions	.... 9
3.2	Meta-Unification Using Conditional Equation	.... 10
3.3	An Example of Conditional Computation	.... 13
4	Nondeterministic Computation in Talos	.... 14
4.1	Definition of Nondeterministic Functions	.... 14
4.2	Backtracking Search	.... 15
4.3	An Example of Nondeterministic Computation	.... 16
5	"Call by Need" Computation in Talos	.... 18
5.1	Definition of "Call by Need" Functions	.... 18
5.2	Control of Evaluation by Needs and Annotations	.... 18
5.3	An Example of "Call by Need" Computation	.... 22
6	Computation with Stream in Talos	.... 24
6.1	Definition of Functions with Stream	.... 24
6.2	Stream Processing	.... 24
6.3	An Example of Computation with Stream	.... 27
7	Discussions	.... 28
8	Conclusions	.... 30
	Acknowledgements	.... 30
	References	.... 30
	End	.... 31

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