Contents of Report

[Data of Report]

Report Number:
TR0154
Date of Registration:
1986.01
English Title:
Source to Source Optimization of PROLOG Programs
Japanese Title:
Prologプログラムの最適化
English Author:
H.Sawamura
Japanese:
沢村　一
Name of Organization to which author belongs:
Fujitsu
PDF:
tr0154.pdf

[Contents]

要旨.... 3
Abstract.... 4
目次.... 5
1はじめに.... 7
2記法と定義.... 11
2.1記号の使用法.... 11
2.2最適化図式.... 12
2.3述語定義の型.... 12
2.4述語 (述語呼び出し、ゴール) の決定性.... 13
3Prologプログラムのための最適化手法.... 22
3.1部分ユニフィケーション.... 22
3.2カットの自動挿入.... 23
3.3インライン展開.... 24
3.4ゴール列の簡単化.... 34
3.5冗長変数の除去.... 39
3.6ゴールの統合化.... 41
3.7節の複数節への分解.... 42
4理論的考察.... 44
4.1不変な性質.... 44
4.2インライン展開の停止性.... 44
4.3局所的最適化手法の適用順序.... 45
4.4決定性の決定不能性.... 47
5Prologオプティマイザの試作.... 51
6最適化例とその評価.... 55
7他の研究との関係.... 63
8まとめ.... 68
謝辞.... 69
参考文献.... 70
End.... 75

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

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