Contents of Report

[Data of Report]

Report Number:: TR0641
Date of Registration:: 1991.05
English Title:: Reflective Guraded Horn Clauses:Language Implementation and Programming
Japanese Title:: ***
English Author:: J.Tanaka,F.Matano
Japanese:: 田中　二郎,的野　文夫
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0641.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Meta-computation system in GHC	.... 3
2.1	A Simple GHC meta-Program	.... 3
2.2	Meta-level representation of the object-level system	.... 4
2.3	An enhanced meta-program	.... 5
3	Reflective Guarded Horn Clauses	.... 7
3.1	Two approaches inimplementing reflection	.... 7
3.2	Reflective Predicate	.... 8
3.3	Shift-down and shift-up	.... 10
3.4	Meta-level database	.... 11
4	RGHC implementation	.... 12
4.1	Description of RGHC	.... 12
4.2	RGHC implementaion on PSI-II	.... 13
5	Program execution example	.... 14
6	Related works and conclusion	.... 15
	Acknowledgements	.... 17
	References	.... 17
	End	.... 19

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