是否有任何项目是以Prolog原型开始的

PyPy的JIT最初是一个Prolog原型：

Gambit方案和Erlang也开始在Prolog中实现

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

是在Prolog中启动的，就像Erlang一样