JIT PyPy начинался как прототип Пролога: http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html.
Gambit Scheme и Erlang также начали реализовываться в Прологе.
Существуют ли другие заметные (или не очень заметные) проекты, которые начались в Прологе, а затем переизданы на более широком языке?
Меркурий был загружен в Пролог, как и Эрланг.