>>398
挙げているのがPrologだから、後付けで、
> 高速なマシン語に至る
をLisp処理系とシームレスに埋め込むのは結構難しいよね。
スタックの扱いがかなり違うから。
推論エンジンがボトルネックになりそうなら、高速化したいだろうし。

Grahamはその辺の微妙なラインの話をしていると思われ。
限界があるなんて思ってないと思う。