Prolog并行性

是否有任何序言解释器可以在功能上分解您的“程序”以提高效率？

我知道有一些关于Prolog解释器的研究，该解释器通过并行（一种典型的C程序员无法“看到”的）达到接近C的速度。有人知道这个话题吗？

一些起点

您可能需要研究此研究论文：http : //www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

此外，此关于Python概念证明的Prolog论文还提供了一些有趣的线索：http : //www.mendeley.com/research/a-prolog-interpreter-in-python/