Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Motivation	.... 3
3	Requirements	.... 4
4	Macro Definition and Examples	.... 6
4.1	Macro Definition	.... 6
4.2	Macro Expansion in a Clause Body	.... 7
4.3	Macro Expanition in a Clause Head	.... 8
4.4	Insertion of Clauses	.... 9
4.5	Macro Expansion of a Clause	.... 10
4.6	Controling Macro Expantion	.... 12
5	Comparison	.... 12
6	Implementation	.... 13
7	Remaining Problems	.... 14
8	Conclusion	.... 15
	References	.... 15
	End	.... 16

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