Contents of Report

[Data of Report]

	Abstract	.... 2
0	Introduction	.... 2
1	Symbolic Expression	.... 3
1.1	Definition of Sexp	.... 3
1.2	Dot Notation and List Notation	.... 3
1.3	Name	.... 4
2	The Lisp-part of Qute	.... 4
2.1	Examples	.... 4
2.2	Constant and Special Sexp	.... 5
2.3	Variable and Enivironment	.... 5
2.4	Quote and Quasi-quote	.... 6
2.5	Definition of Function and Macro	.... 6
2.6	Apply	.... 7
2.7	Summary	.... 8
3	The Prolog-part of Qute	.... 10
3.1	Examples	.... 10
3.2	Definition of Predicate	.... 10
3.3	Variable and Its Value	.... 11
3.4	Unification	.... 11
4	Connecting Lisp and Prolog	.... 12
4.1	Examples	.... 12
4.2	Epsilon Expression	.... 13
5	Conclusion and Future Plans	.... 14
	References	.... 15

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