Paralelisme prolog

Adakah penerjemah prolog yang secara fungsional dapat menguraikan 'program' Anda untuk meningkatkan efisiensi?

Saya tahu ada penelitian tentang prolog interpreter yang mencapai kecepatan mendekati-C melalui paralelisme (jenis yang tidak bisa "dilihat" oleh programmer C yang khas). Adakah yang tahu lebih banyak tentang topik ini?

Beberapa poin awal

Anda mungkin ingin melihat ke dalam makalah penelitian ini: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Juga, Prolog tentang bukti makalah konsep Python ini memiliki beberapa petunjuk menarik: http://www.mendeley.com/research/a-prolog-interpreter-in-python/