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?
Respostas:
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/