PrologをClocksinのZIP仮想マシンでコンパイルし、trilogを高速化する試み
A ZIP-style Prolog VM for trilog
trilogのバックエンドを目指すWIPプロジェクト。Clocksinの1984年の論文に基づくZIP抽象マシン向けに、Prologで書かれたコンパイラがScryer Prolog上で動き、バイナリイメージを生成してC製VMが実行する。trilogが項として節を解釈するのに対し、コンパイルにより同じプログラムをより少ない命令とメモリで動かせる見込みだという。
trilogはABCアルゴリズムで節を項として解釈するが、それをZIPにコンパイルすれば同じプログラムがより少ない命令とメモリで動くはずだ。
- donutdonot
Prologは本当に奇妙で、でも面白い言語だよね。大学時代にこれをプログラミングしなきゃいけなかったのは楽しかった思い出だ。
今でもPrologのモダンなユースケースって残っているのかな、それとももはや学術的な興味の対象って感じなのかな？