Parallélisme prologue

Existe-t-il des interprètes prolog qui peuvent décomposer fonctionnellement vos «programmes» afin d'améliorer l'efficacité?

Je sais qu'il y a eu des recherches sur les interprètes prologues qui atteignent des vitesses proches du C par le parallélisme (le genre qu'un programmeur C typique ne peut pas "voir"). Quelqu'un en sait-il plus sur ce sujet?

Quelques points de départ

Vous voudrez peut-être consulter ce document de recherche: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

En outre, ce document de preuve de concept Prolog sur Python présente des pistes intéressantes: http://www.mendeley.com/research/a-prolog-interpreter-in-python/