Contents of Report

[Data of Report]

1	はじめに	.... 2
2	収集data 項目	.... 3
2.1	OR relation 数	.... 3
2.2	inference clause	.... 3
2.3	database clause	.... 3
2.4	参照数	.... 3
2.5	hard predicate の引数	.... 4
2.6	hard predicate の構造data 引数	.... 4
2.7	AND literals	.... 4
2.8	組込み述語(Evaluable predicate)数	.... 5
2.9	Evaluable predicate ratio	.... 5
2.10	body 側引数	.... 5
2.11	body 側構造data引数	.... 5
2.12	cut ratio	.... 5
3	静的解析結果と静的特性	.... 6
3.1	inference clause の解析結果と特性	.... 6
3.2	inference clause 内組込み述語に解析結果と特性	.... 11
3.3	database clause の解析結果と特性	.... 14
3.4	静的解析時の制限	.... 15
4	おわりに	.... 17
	参考文献	.... 18
	End	.... 33

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