Równoległość prologiczna

Czy są jacyś tłumacze prologu, którzy mogą funkcjonalnie rozkładać „programy” w celu poprawy wydajności?

Wiem, że były badania nad interpretatorami prologów, które osiągają prędkości zbliżone do C poprzez równoległość (takie, których typowy programista C nie może „zobaczyć”). Czy ktoś wie więcej na ten temat?

Kilka punktów początkowych

Możesz zajrzeć do tego artykułu badawczego: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Ponadto ten dokument potwierdzający koncepcję Prolog on Python zawiera kilka interesujących wskazówek: http://www.mendeley.com/research/a-prolog-interpreter-in-python/