Contents of Report

[Data of Report]

Report Number:: TR0018
Date of Registration:: 1983.07
English Title:: A Transformation System for Logic Programs Equivalence Which Preserves Equivalence
Japanese Title:: ***
English Author:: H.Tamaki,T.Sato
Japanese:: ***
Name of Organization to which author belongs:: Ibaraki Univ.,Electrotechnical Laboratory
PDF:: tr0018.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Pure Prolog	.... 4
3	Example	.... 7
4	Definition and Correctness Proof of the System	.... 9
5	Relation to Other Work	.... 18
5	Conclusion	.... 19
6	Acknowledgement	.... 19
	References	.... 20
	Figures	.... 21
	End	.... 24

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