¿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?
Respuestas:
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/