Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Inference Using Metaprogramming	.... 4
3	Parallel Implementation in GHC	.... 7
3.1	New Data Type $-Variable	.... 7
3.2	Parallel Programming	.... 8
3.3	Processing Cut Symbols	.... 12
4	Large-Scale Knowledge Base Search	.... 13
5	Sysytem Evaluation	.... 14
5.1	Example of Design Problem	.... 15
5.2	Performance	.... 15
6	Conclusion	.... 17
	Acknowledgements	.... 18
	References	.... 18
	End	.... 27

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