Paralelismo prólogo

¿Hay algún intérprete de prólogos que pueda descomponer funcionalmente sus 'programas' para mejorar la eficiencia?

Sé que se han realizado investigaciones sobre intérpretes de prólogos que alcanzan velocidades cercanas a C a través del paralelismo (del tipo que un programador C típico no puede "ver"). ¿Alguien sabe más sobre este tema?

Algunos puntos de partida

Es posible que desee consultar este documento de investigación: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Además, este documento de prueba de concepto Prolog on Python tiene algunas pistas interesantes: http://www.mendeley.com/research/a-prolog-interpreter-in-python/