是否有任何项目最初是Prolog原型

Question

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

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

是否有其他值得注意的（或不那么值得注意的）项目从Prolog开始，然后以更主流的语言重新实现？

Answer 1

Mercury在Prolog中被引导，就像Erlang一样。