PyPy的JIT最初是Prolog的原型：
http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html.

Gambit Scheme和Erlang也开始在Prolog中实施.

是否有任何其他值得注意的(或不那么值得注意的)项目从Prolog开始,然后用更主流的语言重新实现？

最佳答案
Mercury在Prolog中被引导,就像Erlang一样.