Contents of Report

[Data of Report]

Report Number:: TM0728
Date of Registration:: 1989.05
English Title:: Nested Guarded Horn Clauses;A Language Provided with a Complete Set of Unfolding Rules
Japanese Title:: ***
English Author:: M.Falaschi,M.Gabbrielli,G.Levi,M.Murakami
Japanese:: ***,***,***,***
Name of Organization to which author belongs:: ***,***,***,ICOT
PDF:: tm0728.pdf

	Extended Abstract	.... 2
1	Introduction	.... 2
2	The NGHC(Nested Guarded Horn Clauses)language	.... 3
3	The normalization of NGHC programs	.... 6
4	A further reduction for NGHC programs in strong normal form	.... 7
5	Unfolding rules for NGHC program	.... 8
6	Unfolding and Fixpoint semantics	.... 10
	References	.... 12
	Appendix	.... 14
	End	.... 17

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