TAO/ELISにおける論理型プログラムのコンパイラ  [in Japanese] Compiling Logic Programs in TAO/ELIS  [in Japanese]

TAOはLispマシンELIS上のマルチパラダイム言語である。TAOのパラダイムの一つである論理型パラダイムのプログラムのコンパイラを開発したので報告する。 TAOにおける論理型プログラムのインタープリタの実現方式は、関数型パラダイムおよびオブジェクト指向パラダイムとの融合のためにDEC-10 Prologなどとかなり異なったものとなっている。現在、WAMを用いたPrologのコンパイル方式はその高速性、メモリ効率の良さなどから標準的なものとなっているが、上に述べた理由のためWAM方式を単純にそのままインプリメントすることはできない。本コンパイラではWAMコードの変更などを行い、この問題に対処した。また、本コンパイラで用いられた最適化の手法の幾つかは従来のWAM方式のコンパイラでも適用可能である。