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?
Odpowiedzi:
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/