Paralelismo prólogo

Existem intérpretes de prólogo que podem decompor funcionalmente seus 'programas' para melhorar a eficiência?

Eu sei que tem havido pesquisas sobre intérpretes de prólogo que atingem velocidades próximas de C através do paralelismo (do tipo que um programador C típico não pode "ver"). Alguém sabe mais sobre esse tópico?

Alguns pontos de partida

Você pode consultar este documento de pesquisa: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Além disso, este documento de prova de conceito Prolog on Python tem algumas pistas interessantes: http://www.mendeley.com/research/a-prolog-interpreter-in-python/