JSIAIワークステーション(6) : Prologコンパイラの最適化技法

概要

論文の詳細を見る
FORTRANやPascalといった言語に比較して、Prologをコンパイルする場合、以下のような点が問題になる。(1)変数のタイプPrologは基本的にはタイプレス言語であり、変数には任意のタイプの値を代入できる。(2)代入の双方向性すべての引数は入力にも出力にも使用できる。同一の引数を、構造体の作成にも読み出しにも利用することが可能である。Warrenの抽象マシン命令セットでは、(1)の点はタグでデータ・タイプを区別することにより、(2)の点はリード/ライト・モードでユニフィケーションの方向を示すことにより解決している。TickとWarrenのPipelind Prolog Engineでは、タグやリード/ライト・モードをテストするためのハードウェアが用意されているため、これらのテストはオーパーヘッドにならない。しかし、通常のマシンでは、実行時のテストには数命令を必要とする。したがって、通常のマシンの場合、コンパイル時にこれらのテスト命令を最適化することが速度改善につながる。
一般社団法人情報処理学会の論文
1986-10-01