Contents of Report

[Data of Report]

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Preliminaries	.... 3
2.1	Bugs of Prolog Programs	.... 3
2.2	"trace"Command in DEC-10 Prolog	.... 5
2.3	"spy"Command in DEC-10 Prolog	.... 9
3	Top-dwon Diagnosis of logic Programs	.... 9
3.1	A Top-dwon Diagnosis Algorithm Using Treces	.... 9
3.2	Top-dwon Diagnosis Algorithm Using Trees	.... 12
3.3	Soundness and Completeness of the Top-dwon Diagnosis Algorithm	.... 16
4	Top-dwon Zooming Diagnosis of Logic Programs	.... 19
4.1	A Top-dwon Zooming Diagnosis Algorithm Using Traces	.... 20
4.2	Top-dwon Zooming Diagnosis Algorithm Using Trees	.... 22
4.3	Soundness and Completeness of the Top-dwon Zooming Diagnosis Algorithm	.... 23
5	Imprementation of the Top-dwon Zooming Diagnosis Algorithm	.... 25
5.1	Considerasion on Space Efficiency	.... 25
5.2	Considerasion on Time Efficiency	.... 26
5.3	Considerasion on Queries	.... 27
6	Discussion	.... 29
7	Conclusion	.... 31
	Acknowledgements	.... 31
	References	.... 31

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