Contents of Report

[Data of Report]

Report Number:: TR0131
Date of Registration:: 1985.08
English Title:: Representatoin Theorems and Primitive Predicates for Logic Programs
Japanese Title:: ***
English Author:: T.Yokomori
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu
PDF:: tr0131.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Preliminaries	.... 6
2.1	Formal Grammars and Their Languages	.... 6
2.2	Logic Programs and Their Languages	.... 10
3	Repersentation Theorems	.... 16
3.1	Generator Programs for Logic Programs	.... 16
3.2	Decomposing Logic Programs	.... 24
4	What are Primitives ?	.... 27
4.1	Primitives for Generators	.... 27
4.2	Extended Reverse Programs	.... 29
5	Concluding Remarks	.... 34
	Acknoeledgements	.... 35
	References	.... 35
	End	.... 39

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