Prologソースレベル・オプティマイザの試作とその性能評価
スポンサーリンク
概要
- 論文の詳細を見る
現実のPrologプログラムを効率化のためにソースレベルで変換を行う最適化変換手法が,著者らの他の論文において提案されている.それらにはインライン展開法,カットの自動挿入法,数々の局所的最適化手法等が含まれている.本論文では,このような最適化手法の概要を述べ,それらを統合化して試作されたオプティマイザの性能評価結果を示しその有効性を検証する.本論文の方法はプログラムの最適化変換に向けての素朴であるが実際的で有望なアプローチの一つとして特徴づけられるであろう.
- 一般社団法人情報処理学会の論文
- 1987-04-15
著者
関連論文
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- 適切さの論理 (<特集>非標準論理とその応用)
- PROLOG述語(呼び出し)の決定性
- Prologソースレベル・オプティマイザの試作とその性能評価
- R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ