Contents of Report

[Data of Report]

Report Number:: TR0288
Date of Registration:: 1986.01
English Title:: Fifth Generation Computer Project:Current Research Activity and Future Plans
Japanese Title:: ***
English Author:: K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0228.pdf

1	Introduction	.... 2
2	Guarded Horn Clauses	.... 3
3	Knoledge Programming Mthodology	.... 5
3.1	Meta Programming	.... 7
3.2	Constraint Programming	.... 11
4	Program Transformation	.... 11
4.1	Program Transformation for Removing Freeze	.... 11
4.2	Program Transformation for Removing Backtrack	.... 12
5	Conclusion	.... 15
	References	.... 16
	End	.... 17

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