Contents of Report

[Data of Report]

	Abustruct	.... 2
1	Introduction	.... 2
2	General Logic Programs and Their Disjunctive Representations	.... 3
2.1	Basic Definitions	.... 3
2.2	Disjunctive Representations of General Logic Programs	.... 4
3	Naive Procedure	.... 4
4	Bottom-Up Procedure with Magic Rules	.... 4
4.1	Magic-Sets Transformation for Disjunctive Representations of Rules	.... 4
4.2	Magic Interpreter	.... 8
5	Concluding Remarks	.... 9
	Acknowledgment	.... 9
	References	.... 9
	Appendix A Prolog Codes of The Naive Procedure	.... 10
	Appendix B Prolog Codes of Magic Interpreter	.... 11
	Appendix C Examples	.... 11
	End	.... 13

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