>>234 LispでPrologを作るよりPrologでLispを作る方が簡単そう。
ただし、PSIで機械語レベルからPrologによってOSを書いた時のことだが
OSのコードはほとんどが「前向きで」バックトラックを必要とする
部分はごく少ない。つまり、テーブルの参照的な部分は少ないと
いうことだろう。とすると、いちいちバックトラック時の「備え」を
するPrologはいかにも効率が悪い。そういう話もあった。
LispをPrologで書く場合も同じことが言えるのではないか。Lispを
書く場合にどれだけバックトラックが必要になるか。そんな視点で
この問題は見ればよいのではないか。