Contents of Report

[Data of Report]

Report Number:: TR0161
Date of Registration:: 1986.03
English Title:: A Theorem Prover based on Connection Graph and its Implementation by Prolog
Japanese Title:: ***
English Author:: T.Minami
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu
PDF:: tr0161.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Search Strategies for Connection Graph Method	.... 5
3	Implementation	.... 10
3.1	Data Representations	.... 10
3.2	Translating Input Formula to Clausal Form	.... 12
3.3	Converting the Clausal Form to the Connection Graph	.... 20
3.4	Solution Search	.... 21
3.5	Resolution	.... 24
4	Conclusions	.... 27
	Acknowledgements	.... 29
	References	.... 29

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