Contents of Report

[Data of Report]

Report Number:: TR0047
Date of Registration:: 1984.3
English Title:: ***
Japanese Title:: Prologソースレベル・オプティマイザ-最適化手法のカタログ-
English Author:: H.Sawamura,Takeshima,A.Katou
Japanese:: 沢村　一,竹島　卓,加藤　昭彦
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu
PDF:: tr0047.pdf

[Contents]

1	総論-Prologソースレベル・オプティマイザ-	.... 2
1.1	Prologの非論理制に起因する最適化の困難性	.... 2
1.2	最適性の判断規準	.... 2
1.3	ﾌﾟﾛｸﾞﾗﾑ変換論とプログラムの最適化	.... 2
1.4	最適化の方針	.... 3
2	Prologソースレベル・オプティマイザの概要	.... 4
3	Prologのための最適化手法	.... 6
3.1	ユニフィケーションの部分実行	.... 6
3.2	インライン展開	.... 6
3.3	ゴール列の簡単化	.... 9
3.4	変数除法	.... 10
3.5	ゴールの統合化	.... 11
3.6	節の複数節への分解	.... 11
4	最適化の例	.... 12
5	まとめ	.... 13
	謝辞	.... 13
	参考文献	.... 13

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports